Dekoninck, J., Petrov, I., Minchev, K., Balunovic, M., Vechev, M., Marinov, M., . . . Ismoldayev, M. (2025). The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs.
Chicago Style (17th ed.) CitationDekoninck, Jasper, et al. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. 2025.
MLA (9th ed.) CitationDekoninck, Jasper, et al. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. 2025.
Warning: These citations may not always be 100% accurate.