MolLean：一种可过程验证的化学推理语言

针对化学链式推理中可能出现的结构与性质幻觉，研究者提出 MolLean——一种将化学推理锚定在显式分子状态上的可过程验证语言，其分层 Lean 内核可检查从基础图编辑到化合物转化的状态转移与断言，并通过类型化 witness 协议区分原生结构检查与外部测量。