Symbol-Equivariant Recurrent Reasoning Models
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
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.
Key facts. Cited by 4 papers in the map (data through 14 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 43 of its 62 references that are in the map. First posted on arXiv 2 Mar 2026.
Builds on
43 of 62 references.
Closest ancestors · 2
Same direction, newest first
- 2025Sudoku-Bench: Evaluating creative reasoning with Sudoku variants22 May
- 2024Can Large Language Models Reason? A Characterization via 3-SAT13 Aug
Other references · 41
- 2017Attention Is All You Needcited by 60,361
- 2020Language Models are Few-Shot Learnerscited by 32,419
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2016Semi-Supervised Classification with Graph Convolutional Networkscited by 11,361
- 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,330
- 2021RoFormer: Enhanced Transformer with Rotary Position Embeddingcited by 4,703
- 2017Neural Message Passing for Quantum Chemistrycited by 3,487
- 2022Emergent Abilities of Large Language Modelscited by 2,512
- 2018Deep contextualized word representationscited by 2,290
- 2022Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelscited by 1,998
- 2020GLU Variants Improve Transformercited by 1,804
- 2019Root Mean Square Layer Normalizationcited by 1,480
29 more
- 2021MLP-Mixer: An all-MLP Architecture for Visioncited by 1,446
- 2017Deep Setscited by 1,421
- 2016Group Equivariant Convolutional Networkscited by 1,165
- 2018Attention-based Deep Multiple Instance Learningcited by 1,095
- 2016Geometric deep learning: going beyond Euclidean datacited by 1,048
- 2014Deep Learning in Neural Networks: An Overviewcited by 770
- 2018CCNet: Criss-Cross Attention for Semantic Segmentationcited by 718
- 2018Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizoncited by 623
- 2019Deep Equilibrium Modelscited by 615
- 2019Axial Attention in Multidimensional Transformerscited by 358
- 2024Rotary Position Embedding for Vision Transformercited by 236
- 2023Large Language Model Guided Tree-of-Thoughtcited by 221
- 2022Exploring Length Generalization in Large Language Modelscited by 206
- 2023Large Language Models as General Pattern Machinescited by 197
- 2025ARC-AGI-2: A New Challenge for Frontier AI Reasoning Systemscited by 190
- 2024The Illusion of State in State-Space Modelscited by 187
- 2025Hierarchical Reasoning Modelcited by 177
- 2020DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learningcited by 161
- 2021End-to-End Constrained Optimization Learning: A Surveycited by 157
- 2023The ConceptARC Benchmark: Evaluating Understanding and Generalization in the ARC Domaincited by 101
- 2024Combining Induction and Transduction for Abstract Reasoningcited by 53
- 2025UGPhysics: A Comprehensive Benchmark for Undergraduate Physics Reasoning with Large Language Modelscited by 48
- 2022A Survey for Solving Mixed Integer Programming via Machine Learningcited by 44
- 2025Self-Improving Language Models for Evolutionary Program Synthesis: A Case Study on ARC-AGIcited by 36
- 2025Limitations of Large Language Models in Clinical Problem-Solving Arising from Inflexible Reasoningcited by 31
- 2025Frontier LLMs Still Struggle with Simple Reasoning Taskscited by 21
- 2026MolecularIQ: Characterizing Chemical Reasoning Capabilities Through Symbolic Verification on Molecular Graphscited by 8
- 2025Don't throw the baby out with the bathwater: How and why deep learning for ARCcited by 7
- 2026Tab-TRM: Tiny Recursive Model for Insurance Pricing on Tabular Datacited by 3
Built on by
Citing papers per year: 2026: 4.
4 papers.
- 2026SCORE: Replacing Layer Stacking with Contractive Recurrent Depthcited by 2
- 2026G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Modelscited by 0
- 2026Recursive Vision Language Models for General Symbolic Reasoningcited by 0
- 2026Tiny Recursive Message Passingcited by 0
- 2026Tiny Recursive Message Passing13 Oct 2026
- 2026Recursive Vision Language Models for General Symbolic Reasoning2 Aug 2026
- 2026G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models2 Jul 2026
- 2026SCORE: Replacing Layer Stacking with Contractive Recurrent Depth11 Mar 2026
Similar, not cited
Close in wording, no citation either way
- 2026MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku
- 2023Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)
- 2026Quantizing Recursive Reasoning Models
- 2024Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzles
- 2026Recurrent Reasoning on Symbolic Puzzles with Sequence Models
- 2025Teaching Transformers to Solve Combinatorial Problems through Efficient Trial & Error
- 2023Assessing SATNet's Ability to Solve the Symbol Grounding Problem
- 2026Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification