Stanford AI Lab 发布 CausalSmith：用 Lean 自动化因果推断研究
Stanford AI Lab 搞了个叫 CausalSmith 的框架，能让 AI 自动做因果推断理论研究，还用 Lean 来验证证明，搞理论的朋友可以看看。
#CausalSmith
共 2 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「CausalSmith」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月15日
7月27日
Stanford AI Lab 搞了个叫 CausalSmith 的框架，能让 AI 自动做因果推断理论研究，还用 Lean 来验证证明，搞理论的朋友可以看看。