@misc{indiciaef3dbb0f3721f,
  title = {G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models},
  author = {Timo Bertram and Sidhant Bhavnani and Richard Freinschlag and Erich Kobler and Andreas Mayr and Günter Klambauer},
  year = {2026},
  url = {https://arxiv.org/abs/2607.02491},
  note = {Source identifier: 2607.02491}
}