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-Zitierstil (17. Ausg.)Letson, Austin, et al. SorryDB: Can AI Provers Complete Real-World Lean Theorems? 2026.
MLA-Zitierstil (9. Ausg.)Letson, Austin, et al. SorryDB: Can AI Provers Complete Real-World Lean Theorems? 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.