TY  - RPRT
TI  - G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models
AU  - Timo Bertram
AU  - Sidhant Bhavnani
AU  - Richard Freinschlag
AU  - Erich Kobler
AU  - Andreas Mayr
AU  - Günter Klambauer
PY  - 2026
UR  - https://arxiv.org/abs/2607.02491
ID  - 2607.02491
ER  -