CausalForge

新框架使用形式化证明自动化因果推理研究

研究人员开发了CausalForge，一个旨在自动化因果推理理论研究的新框架。该系统集成了Causalean（一个拥有数千个机器检查声明的Lean证明助手库）和CausalSmith（一个处理主题选择、结果提议、形式化和证明构建的代理管道）。CausalForge通过包含一个声明审计来比较形式定理与其预期的科学主张，从而提高自动化研究的可靠性，解决了LLM评审员接受捏造论文的问题。