arXiv 2610.20459 · cs.CL · 2026-10-14

MolLean: A Process-Verifiable Language for Chemical Reasoning

Jiatong Li, Yatao Bian

机构待核实

新论文

一句话要点

MolLean通过可验证的分子状态流程实现化学推理，支持全过程追踪与修正，在多个任务中显著优于传统链式思维，尤其在反应任务中表现更优。

MolLean enables verifiable chemical reasoning with traceable, executable molecular state transitions and refinement.

要点

化学推理中常存在结构和性质的幻觉问题，MolLean通过显式分子状态将推理过程结构化并可验证。
基于Lean语言构建的分层内核检查分子状态转换与属性断言，确保每一步操作在化学上合法。
实验在8800个匹配样本上的12项任务中显示，全轨迹优化模式在所有任务上均优于直接链式思维。
MolLean-MCP提供交互式反馈机制，在反应类任务中通过逐步验证进一步提升性能，体现可修正推理的优势。

English overview

MolLean introduces a process-verifiable language for chemical reasoning, grounding assertions in explicit molecular states. Its Lean-based kernel validates state transitions and property claims, while a typed witness protocol separates structural checks from external measurements. MolLean-MCP enables interactive, feedback-driven reasoning by exposing state evolution during generation. Experiments on 8,800 examples across 12 tasks show that whole-trace refinement outperforms direct chain-of-thought, with MolLean-MCP enhancing performance in reaction tasks.

只根据 arXiv 官方摘要，由开源模型整理，经数字/专名自动核对（必须在摘要中出现），以论文原文为准。

18HF 点赞

–GitHub stars

–引用（Semantic Scholar）

–热度分

阅读 arXiv 原文 PDF Hugging Face 讨论代码仓库