Du langage naturel à l'exact cover : une approche neuro-symbolique des puzzles de Zebra

Les auteurs présentent un framework neuro-symbolique pour les puzzles logiques de type Zebra : un LLM traduit entités et contraintes du langage naturel en appels d'outils qui construisent une instance d'exact cover. Un solveur symbolique calcule la solution et renvoie un feedback pour corriger les encodages invalides, sous- ou sur-contraints, en exploitant l'unicité de la solution. L'évaluation couvre plusieurs tailles de modèles, paradigmes de post-training et familles de LLM, et montre de meilleurs résultats que le CoT prompting et les méthodes neuro-symboliques récentes.