#CausalSmith

共 1 条 · 7 天 0 条 · 30 天 0 条

CausalForge 1 CausalLean 1 Lean 1 因果推理 1

信息流里打上「CausalSmith」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月27日

CausalForge：基于Lean的因果推理自动化研究框架

CausalForge用Lean做因果推理自动研究，能验证证明并审计陈述，比纯LLM评审靠谱。

#CausalForge #CausalLean #CausalSmith #Lean

arXiv cs.LG@Jiyuan Tan, Vasilis Syrgkanis原文