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