RECHERCHE
Theoria : vérification de la fiabilité des raisonnements informels des LLM
Une architecture de vérification structurée qui audite chaque étape d'un raisonnement LLM, surpassant les juges holistes sur les preuves adversariales.
arXiv cs.AI · cs.LG · cs.CL·Ben Slivinski, Michael Saldivar·1 juillet 2026
Image · Source originale
Theoria propose une architecture de vérification intermédiaire entre les assistants de preuves formelles et les juges LLM scalaires. Une solution candidate est décomposée en transitions d'état typées, chacune justifiée par une citation, un calcul ou un fait donné. Sur 185 problèmes experts (HLE-Verified Gold), Theoria certifie 105 réponses avec une précision stricte de 91,4 %. Face à 95 preuves adversariales empoisonnées, l'approche détecte 94,7 % des erreurs contre 83,2 % pour les juges holistes.
Chaleur 4
Pertinence 72
Nouveauté 75