CausalSmith: Lean-Verified Causal Inference Research by AI Agents

Yale researchers released CausalSmith, an agentic pipeline using Lean 4 that automates causal inference theory research end-to-end, with GPT-5.6 and Claude collaborating to produce formally verified papers.

2026-09-15 ~ 2026-09-16 · 2 related posts

• CausalSmith: An Agentic Pipeline Produces Lean 4-Verified Econometrics Papers with GPT-5.6 and Claude — daveholtz · 2026-09-15
• CausalSmith uses Lean proofs to make self-improving agents automate causal research — skoularidou · 2026-09-16