10:57
官方账号arXiv cs.LG@Jiyuan Tan, Vasilis Syrgkanis
推荐理由：CausalForge用Lean做因果推理自动研究，能验证证明并审计陈述，比纯LLM评审靠谱。
CausalSmith
共 1 条相关 AI 资讯
7月27日
10:57
CausalForge是一个基于Lean证明助手的自动化因果推理研究框架。它结合了CausalLean库（含7,035个机器验证声明）和CausalSmith自改进智能体管道。该框架通过机器验证证明和语句审计，解决了LLM评审在2025年Bad Scientist研究中被指出的不可靠问题（接受伪造论文的概率接近随机）。已完成自主研究运行，并在GitHub公开源码、库和运行记录。