Paper recorded by Signals 4 on 2026-10-14 in cs.CL. Abstract reproduced from arXiv; link to the original below.
Published 2026-10-14 on arXiv · recorded by Signals 4 on 2026-10-15
Category: cs.CL · 自然语言处理 · first seen 2026-10-15
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 witness protocol separate