MolLean: 화학 추론을 위한 과정 검증 가능한 언어

요약

MolLean은 화학 추론 과정에 대한 검증 가능성을 제공하는 언어입니다. 이는 계층화된 Lean 기반 커널을 사용하여 분자 상태 전이와 주장을 검사하며, 타입 지정 증인 프로토콜로 구조적 무결성을 확보합니다. 이를 통해 모델의 출력을 단순한 텍스트가 아닌 검증 가능한 화학적 약속으로 만듭니다.

핵심 포인트

• MolLean은 화학 추론을 명시적인 분자 상태에 기반하여 검증 가능하게 합니다.
• 계층화된 Lean 커널이 분자 리아웃의 상태 전이와 주장을 검사합니다.
• MolLean-MCP는 단계별 피드백을 제공하여 상호작용적이고 정확한 추론을 지원합니다.
• 검증 가능한 기반은 화학적 약속이 단순 설명에 머무르지 않고 수정 가능하게 합니다.