RECHERCHE
G-RRM : guider les solveurs symboliques avec des modèles de raisonnement récurrents
Une approche neuro-symbolique combine des réseaux récurrents équivariants avec des solveurs SAT classiques pour accélérer la résolution de contraintes.
arXiv cs.AI · cs.LG · cs.CL·Timo Bertram, Sidhant Bhavnani, Richard Freinschlag, Erich Kobler·2 juillet 2026
Image · Source originale
G-RRM intègre des modèles de raisonnement récurrents équivariants (SE-RRM) avec des solveurs symboliques classiques (backtracking, SAT) pour les problèmes de satisfaction de contraintes. Les SE-RRM génèrent des propositions de solutions qui guident la recherche des solveurs. Sur des grilles Sudoku 9×9, le backtracking est accéléré de 33,3× et Glucose 4.1 de 1,70× en médiane. L'efficacité dépend de la taille de l'espace combinatoire et de la capacité du solveur à corriger les hints neuronaux imparfaits.
Chaleur 6
Pertinence 58
Nouveauté 68