作者位次 #12/16ICLR 2026Poster· Applications / Language, Speech and Dialog
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
Jasper Dekoninck · Ivo Petrov · Kristian Minchev · Miroslav Marinov · Maria Drencheva · Lyuba Konova · Milen Shumanov · Kaloyan Tsvetkov · Nikolay Drenchev · Lazar Todorov · Kalina Nikolova · Nikolay Georgiev · Vanesa Kalinkova · Margulan Ismoldayev · Mislav Balunovic · Martin Vechev