CausalSmith 用 Lean 全自动产出经验证的因果推断论文

耶鲁研究者 Vasilis Syrgkanis 团队（学生 Jiyuan Tan 主力）发布 CausalSmith，一个基于 Lean 4 证明助手的全自动 agentic 研究管线，能端到端完成计量理论与因果推断的自动研究，解决 LLM 互相校验产生不一致的问题。演示中 GPT-5.6 与 Claude 协作，全自动产出经 Lean 形式化验证的因果推断理论论文。

2026-09-15 ~ 2026-09-16 · 2 条相关

• CausalSmith:GPT-5.6 与 Claude 协作全自动产出 Lean 4 验证的计量理论论文 — daveholtz · 2026-09-15
• CausalSmith:用 Lean 形式化验证让智能体自动做因果推断研究 — skoularidou · 2026-09-16