8 citations · 8 across the 3 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
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, ``…
cs.LG2026
Symbol-Equivariant Recurrent Reasoning Models
Richard Freinschlag, Timo Bertram, Erich Kobler +2
Reasoning problems such as Sudoku and ARC-AGI remain challenging for neural networks. The structured problem solving architecture family of Recurrent Reasoning Models (RRMs), inclu…