arXiv (All)
open access
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,
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Autonomous Chemical Mechanistic Discovery through Agentic Reasoning and Validation#998699
- MolDesignBench: Evaluating LLM-based Agent for Scenario-grounded Molecular Design#1063560
- BenchML: An extensible pipelining framework for benchmarking representations of materials and molecules at scale#468478
- OctoTools: An Agentic Framework with Extensible Tools for Complex Reasoning#141699
- ReactBench: A Benchmark for Topological Reasoning in MLLMs on Chemical Reaction Diagrams#31324
Record · ID 1355380
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive