TY  - RPRT
TI  - SorryDB: Can AI Provers Complete Real-World Lean Theorems?
AU  - Austin Letson
AU  - Leopoldo Sarra
AU  - Auguste Poiroux
AU  - Oliver Dressler
AU  - Paul Lezeau
AU  - Dhyan Aranha
AU  - Frederick Pu
AU  - Aaron Hill
AU  - Miguel Corredera Hidalgo
AU  - Julian Berman
AU  - George Tsoukalas
AU  - Lenny Taelman
PY  - 2026
UR  - https://arxiv.org/abs/2603.02668
ID  - 2603.02668
ER  -