斯坦福 SAIL 发布 CausalSmith：用 Lean 自动化因果推断理论研究

斯坦福 AI 实验室（SAIL）发布 CausalSmith，一个形式化接地、可自我改进的 agentic 框架，用 Lean 验证证明正确性，自动化因果推断领域的理论研究。该 agentic 流水线另设审计步骤，确保形式化陈述与论文主张一致。作者为 Jiyuan Tan 与 Vasilis Syrgkanis。