@AnimaAnandkumar: 很高兴分享我们团队在 @icmlconf 数学和物理研讨会上发表的四篇与Lean相关的论文！这些工作共同…

X AI KOLs Timeline 论文
lean theorem-proving formal-verification machine-learning icml ai4science program-synthesis

摘要

Anima Anandkumar 宣布其团队在 ICML 研讨会上发表了四篇与 Lean 相关的论文，涵盖验证机器学习系统、函数式程序合成、证明助手互操作性以及科学推理，将 Lean 定位为 AI 的基础设施。

很高兴分享我们团队在 @icmlconf 数学和物理研讨会上发表的四篇与 Lean 相关的论文！ 这些工作共同探讨了定理证明如何支持验证机器学习系统、函数式程序合成、证明助手之间的互操作性以及科学推理。一个共同主题是，Lean 不仅被用作数学的证明助手，还被用作构建、指定、检查和评估 AI 系统的基础设施。 @Robertljg, Jennifer Cruden, Will Adkisson, UIUC 团队 (Xiangru Zhong, @huan_zhang12), @AmazonScience 团队 (Carson Eisenach, @udayaghai, Dominique Perrault-Joncas, Dean Foster), Jiayi Wu, Isha Goswami 和 Anushka Paulchoudhury。@Caltech #ICML2026 #AI4Math #AI4Physics #Lean #FormalVerification #AI4Science #MachineLearning
查看原文
查看缓存全文

缓存时间: 2026/07/10 08:07

激动地分享四篇与 Lean 相关的论文，来自我们团队在 @icmlconf 数学与物理研讨会上的工作！

这些研究共同探索了定理证明如何支持经过验证的机器学习系统、函数式程序合成、跨证明助手的互操作性以及科学推理。它们的一个共同主题是：将 Lean 不仅用作数学证明助手，更作为构建、规范、验证和评估 AI 系统的基础设施。

@Robertljg, Jennifer Cruden, Will Adkisson, UIUC 团队 (Xiangru Zhong, @huan_zhang12), @AmazonScience 团队 (Carson Eisenach, @udayaghai, Dominique Perrault-Joncas, Dean Foster), Jiayi Wu, Isha Goswami, 以及 Anushka Paulchoudhury。 @Caltech
#ICML2026 #AI4Math #AI4Physics #Lean #FormalVerification #AI4Science #MachineLearning

相似文章

@AnimaAnandkumar: 祝贺！

X AI KOLs Following

彭瑞韩（Pengrui Han）的论文在ICML理论与基准结合研讨会（ICML Combining Theory and Benchmarks Workshop）上获得最佳论文奖，Anima Anandkumar表示祝贺。