MolLean: A Process-Verifiable Language for Chemical Reasoning
Process-verifiable chemical reasoning, explicit molecular state, and interactive feedback
Jiatong Li and Yatao Bian. (2026). MolLean: A Process-Verifiable Language for Chemical Reasoning. arXiv:2610.20459.
About this work
MolLean is a process-verifiable language that grounds chemical reasoning in an explicit molecular state. Its layered Lean-based kernel checks molecular state transitions and assertions over molecular readouts, while a typed witness protocol separates native structural checks from externally supplied measurements.
The framework supports one-pass trace execution, whole-trace refinement, and interactive reasoning through MolLean-MCP. Evaluations on 8,800 matched examples across 12 molecular generation, editing, optimization, and reaction tasks show how executable traces and verification feedback can improve chemical reasoning while exposing the distinction between process soundness and task fidelity.