MolLean: A Process-Verifiable Language for Chemical Reasoning
Chemical chain-of-thought can contain hallucinated structural and property claims. We thereby introduce MolLean, a process-verifiable language that grounds chemical reasoning in an explicit molecular state. A layered Lean-based kernel checks state transitions and assertions over molecular readouts, from primitive graph edits to compound transformations. Meanwhile, a typed witne
Reading in Plain English mode — toggle below to switch
Chemical chain-of-thought can contain hallucinated structural and property claims. We thereby introduce MolLean, a process-verifiable language that grounds chemical reasoning in an explicit molecular state. A layered Lean-based kernel checks state transitions and assertions over molecular readouts, from primitive graph edits to compound transformations. Meanwhile, a typed witne
MolLean introduces a novel approach to ground chemical reasoning in a verifiable language, addressing the critical issue of hallucination in scientific domains. This work is crucial for ML engineers developing reliable AI agents for scientific discovery, especially in chemistry and materials science, by providing a framework for process-verifiable outputs.