ICML 2026公布四篇Lean相关论文，聚焦可验证ML系统

Anima Anandkumar介绍了其团队在ICML workshops上发布的四篇Lean相关论文。这些研究涵盖了利用定理证明支持可验证机器学习系统、函数式程序综合以及证明助手互操作等核心主题，推动了AI系统的可靠性与形式化验证发展。

2026-07-10 ~ 2026-07-10 · 2 条相关

• ICML四篇Lean研究论文 — AnimaAnandkumar · 2026-07-10

另有 1 条近重复转述:AnimaAnandkumar