TY  - RPRT
TI  - The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
AU  - Jasper Dekoninck
AU  - Ivo Petrov
AU  - Kristian Minchev
AU  - Mislav Balunovic
AU  - Martin Vechev
AU  - Miroslav Marinov
AU  - Maria Drencheva
AU  - Lyuba Konova
AU  - Milen Shumanov
AU  - Kaloyan Tsvetkov
AU  - Nikolay Drenchev
AU  - Lazar Todorov
AU  - Kalina Nikolova
AU  - Nikolay Georgiev
AU  - Vanesa Kalinkova
AU  - Margulan Ismoldayev
PY  - 2026
UR  - https://arxiv.org/abs/2506.21621
ID  - 2506.21621
ER  -