Author

Erich Kobler

h-index 2 View on Semantic Scholar

We have 1 of 5 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models

A neuro-symbolic approach, ``Guiding with Recurrent Reasoning Models''(G-RRM), which integrates SE-RRMs with symbolic solvers for constraint satisfaction problems and delineate the regimes in which neural guidance translates into practical speedups.

Timo Bertram, Sidhant Bhavnani, Richard Freinschlag et al. · 0 citations