Stanford AI Lab 发布 CausalSmith:用 Lean 自动化因果推断研究
Stanford AI Lab 搞了个叫 CausalSmith 的框架,能让 AI 自动做因果推断理论研究,还用 Lean 来验证证明,搞理论的朋友可以看看。
Stanford AI Lab 搞了个叫 CausalSmith 的框架,能让 AI 自动做因果推断理论研究,还用 Lean 来验证证明,搞理论的朋友可以看看。
Stanford AI Lab 把这次在 COLM 上的展示项目整理成了一篇博客,对语言模型研究感兴趣的话可以顺手翻翻。
这次论文俱乐部聊了ParallelKittens和Intelligence Per Watt,都跟AI计算效率相关,适合关注推理硬件的朋友。