arXiv · cs.CL· Jiatong Li·· 12 天前AI 评分34
MolLean：面向化学推理的过程可验证语言
MolLean: A Process-Verifiable Language for Chemical Reasoning
来源与原文
arXiv · cs.CL
作者：Jiatong Li
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.20459v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
研究者提出 MolLean，一种基于 Lean 内核的过程可验证语言，将化学链式推理锚定在显式分子状态上，可检验状态转换与分子断言，并配套提供有状态工具接口 MolLean-MCP。在覆盖分子生成、编辑、优化与反应的 12 个任务、8800 个匹配样本上，Qwen3.6-27B 的全轨迹精炼模式在全部 12 个任务上优于直接链式推理，MolLean-MCP 则在反应任务上表现更佳。
来源：arXiv · cs.CL · arxiv.org