Le framework LogicTrack audite le raisonnement LLM à l'aide de solveurs logiques formels
Les chercheurs ont introduit LogicTrack, un cadre neuro-symbolique qui vérifie la validité logique des étapes de raisonnement intermédiaires dans de grands modèles de langage à l'aide de prouveurs de théorèmes automatisés.