fundno aff
Solving olympiad geometry without human demonstrations2024· article· en· Nature· Computer Science
254
citations
Tous les travaux de la base. Chaque rangée indique les voies par lesquelles le travail a été admis, car une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée.