L'IA face aux grands problèmes du monde · Informatique théorique · arXiv · 2026-10-20
Vérification des références de raisonnement rédigées par des humains
Titre original: Verifying Human-Written Reasoning References
Les chaînes de raisonnement rédigées par des humains servent souvent de références pour juger le raisonnement de l'IA, mais le support logique de leurs étapes est rarement vérifié. Les auteurs utilisent un LLM pour traduire les conclusions des étapes en logique du premier ordre et le solveur Z3 pour vérifier l'implication, en l'appliquant à 386 dérivations de P-FOLIO. Parmi elles, 202 (52,3 %) satisfaisaient tous les critères, et 191 des 230 étapes non impliquées par leur support déclaré sont devenues impliquées lorsqu'elles ont été vérifiées par rapport à l'ensemble des prémisses.