**MolLean：一种可验证的化学推理语言，通过 Lean 内核与状态反馈提升准确率**

_MolLean: A Process-Verifiable Language for Chemical Reasoning_

> 针对化学思维链中常见的幻觉问题，研究提出了 MolLean，这是一种基于 Lean 的可验证化学推理语言。该框架通过分层内核验证分子状态转换，并利用 MolLean-MCP 接口提供实时状态反馈，支持单步执行、全链路优化及交互式推理。实验表明，在全链路优化模式下，Qwen3.6-27B 模型在 12 项化学任务中全面超越传统思维链方法，而结合步骤级反馈的 MolLean-MCP 则在反应任务中表现更佳，为化学推理提供了可执行且可修正的坚实基础。

**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：ai-models
- **发布时间**：2026-10-23 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2610.20459)