Theoria : vérification de la fiabilité des raisonnements informels des LLM

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.