SorryDB: Can AI Provers Complete Real-World Lean Theorems?

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Letson, Austin, Sarra, Leopoldo, Poiroux, Auguste, Dressler, Oliver, Lezeau, Paul, Aranha, Dhyan, Pu, Frederick, Hill, Aaron, Hidalgo, Miguel Corredera, Berman, Julian, Tsoukalas, George, Taelman, Lenny
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Description
Aucune description n'est disponible.

Documents similaires