The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs - Dekoninck, Jasper; Petrov, Ivo; Minchev, Kristian; Marinov, Miroslav; Drencheva, Maria; Konova, Lyuba; Shumanov, Milen; Tsvetkov, Kaloyan; Drenchev, Nikolay; Todorov, Lazar; Nikolova, Kalina; Georgiev, Nikolay; et al. (International Conference on Learning Representations, 2026)