SorryDB: Can AI Provers Complete Real-World Lean Theorems? 文章
ArXiv CS.AI2026-06-16NEWSen作者: Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederick Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas, Lenny Taelman