Présentation de REFACTOR, un système pour l'extraction automatique de théorèmes à partir de preuves mathématiques.
― 9 min lire
Yuhuai Wu
La méthode DTV améliore la fiabilité des réponses des grands modèles de langage dans les problèmes de maths.
― 8 min lire