@misc{indiciaea38774d9a4f1,
  title = {The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs},
  author = {Jasper Dekoninck and Ivo Petrov and Kristian Minchev and Mislav Balunovic and Martin Vechev and Miroslav Marinov and Maria Drencheva and Lyuba Konova and Milen Shumanov and Kaloyan Tsvetkov and Nikolay Drenchev and Lazar Todorov and Kalina Nikolova and Nikolay Georgiev and Vanesa Kalinkova and Margulan Ismoldayev},
  year = {2026},
  url = {https://arxiv.org/abs/2506.21621},
  note = {Source identifier: 2506.21621}
}