Search papers, labs, and topics across Lattice.
This study empirically investigates the impact of nested shared-operator recursion, where a slower, persistent state integrates updates from a faster state via the same operator, on three recursive reasoning architectures (HRM, TRM, URM) within the ARC-AGI-1 benchmark. At matched parameter counts and under constrained computational budgets, nested variants did not consistently outperform their baseline counterparts in token accuracy, predictive loss, or exact solving. The findings suggest that this specific nesting organization does not inherently improve performance on ARC-AGI-1 under these experimental conditions, leaving the hypothesis of its benefit open for further investigation.
Nested recursive reasoning architectures fail to consistently improve ARC-AGI-1 performance over baselines at matched parameter counts, even with a single-GPU budget.
Recursive reasoning models refine persistent internal states by repeatedly applying learned operators. We investigate whether adding a persistent intermediate state that integrates repeated updates of a faster state through the same operator improves predictive performance relative to each model family's baseline at matched parameter counts. We define this organisation operationally and implement it within three architectures: the Hierarchical Reasoning Model (HRM), Tiny Recursive Model (TRM) and Universal Reasoning Model (URM). Using the official codebases on ARC-AGI-1, we compare each baseline with its parameter-matched nested variant. We evaluate held-out queries from tasks whose demonstrations were available during training. The experiments use a single-GPU budget far below the published training protocols. Under the tested conditions, nested variants show no consistent advantage in token accuracy, predictive loss or exact solving, which remains near zero for all configurations. The results therefore leave the hypothesis open. We specify a confirmatory comparison, with an informative baseline, multiple seeds, controls that isolate nesting and predefined criteria, to determine whether this organisation merits further development.