@misc{indiciae067635b025bc,
  title = {SorryDB: Can AI Provers Complete Real-World Lean Theorems?},
  author = {Austin Letson and Leopoldo Sarra and Auguste Poiroux and Oliver Dressler and Paul Lezeau and Dhyan Aranha and Frederick Pu and Aaron Hill and Miguel Corredera Hidalgo and Julian Berman and George Tsoukalas and Lenny Taelman},
  year = {2026},
  url = {https://arxiv.org/abs/2603.02668},
  note = {Source identifier: 2603.02668}
}