ICML四篇Lean研究论文

AnimaAnandkumar · x · 2026-07-10

Anima Anandkumar 介绍了团队在 ICML workshops 上的四篇 Lean 相关论文，主题包括用定理证明支持可验证 ML 系统、函数程序合成、证明助手互操作，以及科学推理。