G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models

Timo Bertram, Sidhant Bhavnani, Richard Freinschlag +3

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, ``…