G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models
By Timo Bertram · Paper · cs.AI
In this work, we focus on SE-RRMs, a symbol-equivariant instantiation of RRMs that exhibits improved extrapolation to larger problem sizes. We propose a neuro-symbolic approach, ``Guiding with Recurrent Reasoning Models'' (G-RRM), which integrates SE-RRMs with symbolic solvers fo