The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dekoninck, Jasper, Petrov, Ivo, Minchev, Kristian, Balunovic, Mislav, Vechev, Martin, Marinov, Miroslav, Drencheva, Maria, Konova, Lyuba, Shumanov, Milen, Tsvetkov, Kaloyan, Drenchev, Nikolay, Todorov, Lazar, Nikolova, Kalina, Georgiev, Nikolay, Kalinkova, Vanesa, Ismoldayev, Margulan
Format:	Preprint
Publié:	2025
Sujets:	Computation and Language Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2506.21621