斯坦福发布CausalSmith自动化因果推断框架

发生了什么

据Stanford SAIL研究博客报道，10月13日，斯坦福大学发布CausalSmith，这是一个基于LLM与Lean 4的自动化因果推断研究框架。该框架通过发现、形式化和展示三个阶段，利用LLM提出假设并由Lean 4验证证明。在测试中，41个结果（2.4%）被接受，证明了LLM在应用科学理论研究中产生高质量成果的潜力。