G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models | Digital Library | PAMCET | PAMCET