NUS 发布 MolLean:基于 Lean 的过程可验证化学推理语言,抑制模型幻觉

Jiatong Li · hf · 2026-10-23

新加坡国立大学团队提出 MolLean,把化学推理锚定在显式分子状态上:分层 Lean 内核校验从原始图编辑到化合物转化的状态转移与断言,类型化 witness 协议区分原生结构检查与外部测量数据;并通过 MolLean-MCP 工具接口向模型暴露状态转移、检查与拒绝读取,被拒绝的动作不改变状态。支持单次轨迹执行、全轨迹修正与交互式推理,在 8800 个样本、12 项分子生成/编辑/优化/反应任务上评测:用 Qwen3.6-27B 时,全轨迹修正优于直接思维链,有效降低幻觉。