Tag
This paper introduces G-RRM, a neuro-symbolic approach that uses recurrent reasoning models to guide symbolic solvers for constraint satisfaction problems, showing significant speedups in certain conditions.