화학 추론을 검증하는 '몰린' 언어 공개
원제 MolLean: A Process-Verifiable Language for Chemical Reasoning
추천 15댓글 2
Key Point
화학 분자 추론에서 언어 모델의 거짓 주장을 실시간으로 검증·수정할 수 있는 새로운 시스템이 제시되었으며, 12개 과제에서 모두 기존 방식을 앞서갔다.
핵심 요약
- 화학 추론의 사슬형 답변은 분자 구조나 특성을 잘못 주장하는 할루시네이션 문제를 안고 있다.
- 이를 해결하기 위해 MolLean이라는 과정 검증 가능한 언어를 개발했으며, 명시적 분자 상태에 기반해 화학 추론을 진행한다.
- Lean 기반 커널은 기본 그래프 편집부터 복합 변환까지 상태 전이와 분자 기반 명제를 계층적으로 검증한다.
- 타입된 증명 프로토콜로 구조 검증을 내부적으로 처리하고 외부 측정값은 별도로 관리한다.
- MolLean-MCP는 상태 저장 도구 인터페이스로, 모델이 각 단계에서 피드백을 받아 다음 행동을 결정하며 거부된 행동은 상태를 유지한다.
- 단일 패스 실행, 전체 추적 정제, MolLean-MCP를 통한 대화형 추론 세 가지 모드를 지원한다.
- 분자 생성·편집·최적화·반응 12개 과제의 8,800개 매칭 예시로 평가했다.
- Qwen3.6-27B로 전체 추적 정제는 직접 사슬형 사고보다 12개 과제 모두에서 우수하다.
- MolLean-MCP는 단계별 검증 피드백으로 반응 과제 성능을 더 개선한다.
- 이는 명시적 화학적 약속을 자유형 설명 대신 검증하고 수정할 수 있는 실행 가능한 기초를 제공한다.