Letson, A., Sarra, L., Poiroux, A., Dressler, O., Lezeau, P., Aranha, D., . . . Taelman, L. (2026). SorryDB: Can AI Provers Complete Real-World Lean Theorems?
Chicago Style (17th ed.) CitationLetson, Austin, et al. SorryDB: Can AI Provers Complete Real-World Lean Theorems? 2026.
MLA (9th ed.) CitationLetson, Austin, et al. SorryDB: Can AI Provers Complete Real-World Lean Theorems? 2026.
Warning: These citations may not always be 100% accurate.