作者位次 #11/12ICML 2026Poster· General Machine Learning / Evaluation
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
Austin Letson · Leopoldo Sarra · Auguste Poiroux · Oliver Dressler · Paul Lezeau · Dhyan Aranha · Frederick Pu · Aaron Hill · Miguel Hidalgo · Julian Berman · George Tsoukalas · Lenny Taelman