arXiv cs.CL· Jiatong Li, Yatao Bian·· 3 天前AI 评分24
MolLean：面向化学推理的过程可验证语言
MolLean: A Process-Verifiable Language for Chemical Reasoning
AI 导读
针对化学链式推理中可能出现的结构与性质幻觉，研究者提出 MolLean——一种将化学推理锚定在显式分子状态上的过程可验证语言，通过分层 Lean 内核检查分子状态转换与断言，并用类型化见证协议区分原生结构检查与外部测量。
正文 · AI 翻译
摘要：化学思维链可能包含虚构的结构和性质断言。为此，我们引入 MolLean，一种过程可验证的语言，将化学推理建立在显式的分子状态之上。一个分层的、基于 Lean 的内核检查分子读数上的状态转换和断言，从原始图编辑到复合变换。同时，一种类型化见证协议将原生结构检查与外部提供的测量区分开来。我们进一步引入 MolLean-MCP，一种有状态工具接口，在生成过程中暴露这些转换、检查和读数：模型接收反馈以决定其下一步动作，被拒绝的动作保持状态不变。MolLean 支持单次轨迹执行、全轨迹细化和通过 MolLean-MCP 的交互式推理。我们在涵盖分子生成、编辑、优化和反应的 12 项任务、8,800 个匹配示例上，用直接思维链评估了这三种模式。使用 Qwen3.6-27B，全轨迹细化在所有 12 项任务上均优于直接思维链。MolLean-MCP 以逐步验证反馈补充全轨迹细化，在反应任务中达到更好的性能。总之，这些结果凸显了一个可执行的化学推理基础，其中显式的化学承诺可以被检查和修订，而不是仅停留在自由形式的解释中。
| 学科： | 计算与语言（cs.CL）；计算工程、金融与科学（cs.CE）；编程语言（cs.PL） |
| 引用为： | arXiv:2610.20459 [cs.CL] |
| （或 arXiv:2610.20459v1 [cs.CL] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.20459 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Jiatong Li [查看邮箱]
[v1]
2026年10月14日星期三 16:43:10 UTC（799 KB）
来源：arXiv cs.CL · arxiv.org