Symbol-Equivariant Recurrent Reasoning Models

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Freinschlag, Richard, Bertram, Timo, Kobler, Erich, Mayr, Andreas, Klambauer, Günter
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866912937652781056
author Freinschlag, Richard
Bertram, Timo
Kobler, Erich
Mayr, Andreas
Klambauer, Günter
author_facet Freinschlag, Richard
Bertram, Timo
Kobler, Erich
Mayr, Andreas
Klambauer, Günter
contents Reasoning problems such as Sudoku and ARC-AGI remain challenging for neural networks. The structured problem solving architecture family of Recurrent Reasoning Models (RRMs), including Hierarchical Reasoning Model (HRM) and Tiny Recursive Model (TRM), offer a compact alternative to large language models, but currently handle symbol symmetries only implicitly via costly data augmentation. We introduce Symbol-Equivariant Recurrent Reasoning Models (SE-RRMs), which enforce permutation equivariance at the architectural level through symbol-equivariant layers, guaranteeing identical solutions under symbol or color permutations. SE-RRMs outperform prior RRMs on 9x9 Sudoku and generalize from just training on 9x9 to smaller 4x4 and larger 16x16 and 25x25 instances, to which existing RRMs cannot extrapolate. On ARC-AGI-1 and ARC-AGI-2, SE-RRMs achieve competitive performance with substantially less data augmentation and only 2 million parameters, demonstrating that explicitly encoding symmetry improves the robustness and scalability of neural reasoning. Code is available at https://github.com/ml-jku/SE-RRM.
format Preprint
id arxiv_https___arxiv_org_abs_2603_02193
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Symbol-Equivariant Recurrent Reasoning Models
Freinschlag, Richard
Bertram, Timo
Kobler, Erich
Mayr, Andreas
Klambauer, Günter
Machine Learning
Artificial Intelligence
Reasoning problems such as Sudoku and ARC-AGI remain challenging for neural networks. The structured problem solving architecture family of Recurrent Reasoning Models (RRMs), including Hierarchical Reasoning Model (HRM) and Tiny Recursive Model (TRM), offer a compact alternative to large language models, but currently handle symbol symmetries only implicitly via costly data augmentation. We introduce Symbol-Equivariant Recurrent Reasoning Models (SE-RRMs), which enforce permutation equivariance at the architectural level through symbol-equivariant layers, guaranteeing identical solutions under symbol or color permutations. SE-RRMs outperform prior RRMs on 9x9 Sudoku and generalize from just training on 9x9 to smaller 4x4 and larger 16x16 and 25x25 instances, to which existing RRMs cannot extrapolate. On ARC-AGI-1 and ARC-AGI-2, SE-RRMs achieve competitive performance with substantially less data augmentation and only 2 million parameters, demonstrating that explicitly encoding symmetry improves the robustness and scalability of neural reasoning. Code is available at https://github.com/ml-jku/SE-RRM.
title Symbol-Equivariant Recurrent Reasoning Models
topic Machine Learning
Artificial Intelligence
url https://arxiv.org/abs/2603.02193