The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. - Jasper Dekoninck; Ivo Petrov; Kristian Minchev; Mislav Balunovic; Martin T. Vechev; Miroslav Marinov; Maria Drencheva; Lyuba Konova; Milen Shumanov; Kaloyan Tsvetkov; Nikolay Drenchev; Lazar Todorov; et al. (CoRR, 2025)