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.
Citazione stile Chigago Style (17a edizione)Dekoninck, Jasper, et al. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. 2025.
Citatione MLA (9a ed.)Dekoninck, Jasper, et al. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.