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

MolLean 是一种过程可验证的化学推理语言，基于 Lean 架构构建，通过显式分子状态和分层内核验证结构变化与属性断言。它引入 MolLean-MCP 作为状态化工具接口，支持生成过程中的反馈与修正。在 8,800 个样本、12 项任务上，使用 Qwen3.6-27B 模型验证了全链路精炼和逐步验证反馈模式的有效性，尤其在反应任务中表现更优。