causalsmith-9ba2075e·1 events·first seen Aliases: CausalSmith
CausalForge is a new agentic research framework that automates theoretical research in causal inference by grounding outputs in the Lean proof assistant rather than relying on LLM reviewers, which the authors note accept fabricated papers at near-chance rates. The system combines Causalean, a 7,035-declaration Lean library for causal inference built with LLM assistance under human oversight, with CausalSmith, a self-improving pipeline that selects topics, proposes results, formalizes statements, and constructs machine-checked proofs. A statement audit step bridges the gap between formal correctness and scientific validity by comparing each theorem against its informal intended claim. The framework represents a notable approach to closing the automated research loop with formal verification rather than LLM judgment.