Chain-of-thought (CoT) prompting enables reasoning in language models but requires explicit verbalization of intermediate steps. Looped transformers offer an alternative by iteratively refining representations within hidden states. This parameter efficiency comes at a cost, as looped models lack the storage capacity of deeper models which use unique weights per layer. In this work, we investigate transformer models that feature both adaptive per-layer looping, where each transformer block learns to iterate its hidden state via a learned halting mechanism, and gated memory banks, that provide additional learned storage. We find that looping primarily benefits mathematical reasoning, while memory banks help recover performance on commonsense tasks compared to parameter and FLOP matched models. Combining both mechanisms yields a model that outperforms an iso-FLOP baseline, with three times the number of layers, across math benchmarks. Analysis of model internals reveals layer specialization: early layers learn to loop minimally and access memory sparingly, while later layers do both more heavily.
Figures & tables
Figure 1: Architecture overview. Left: A standard transformer passes hidden states through L unique blocks. Center: Our loop model allows each block to iterate up to N times, with a learned halting mechanism that produces a weighted combination of intermediate states. Per-step scales ζ(sn) are initialized near zero for training stability. Right: The combined model additionally retrieves from local (per-layer) and global (shared) memory banks, gated by learned input-dependent scalars.
Model
Type
CS Acc ↑
CS BPB ↓
Math BPB ↓
Without Memory
Base
IsoPar baseline
0.477
0.859
2.163
Loop-3
Ours ( Nmax=3 )
0.501
0.813
1.687
Loop-5
Ours ( Nmax=5 )
0.503
0.823
1.737
Loop-7
Ours ( Nmax=7 )
0.498
0.832
1.659
IsoFLOP
36-layer
0.523
0.780
1.801
Table 1: Summary of results , averaged across benchmarks within each group. CS = commonsense; BPB = bits per byte (lower is better, see Appendix A.2 for details). Best result per column within each model group is bolded . Full per-benchmark breakdowns are in Appendix A.4 .
Figure 2: Expected number of loop iterations per layer over training. Left: Each curve represents one layer. Early layers (lighter colors) consistently use fewer iterations than later layers (darker colors). Middle: Expected steps at the end of training. Right: All models show a characteristic transition which occurs at approximately the same cross-entropy value across configurations (see Figure 3 in the Appendix for all configurations).
Appendix figures & tables6 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 3: Expected loop iterations vs. validation cross-entropy for all configurations. Each point represents one evaluation during training; curves are colored by model configuration. Across all looped models, the expected number of iterations begins to increase rapidly once the cross-entropy drops below approximately 3.27±0.59 . This phase transition is consistent across Loop-3, Loop-5, and Loop-7 configurations, suggesting it depends on the model’s language competence rather than the maximum number of allowed iterations.
Configuration
Loops
Memory
Parameters
Description
IsoPar
×
×
200M
12 Layers
Loop- N
✓
×
200M
Adaptive looping, Nmax∈{3,5,7}
IsoFLOP
×
×
332M
36 Layers
IsoPar-M
×
×
210M
Wider FFN
Mem ( g0 )
✓
✓
210M
Loop-3 + Memory
IsoFLOP-M
×
×
480M
36 Layers + Wider FFN
Appendix
Table 2: Model configurations. All models use the same base transformer architecture. Loop parameters include per-step scales and halting router weights. Memory parameters include local/global key-value banks and gating networks. Iso-parameter baselines add extra FFN capacity to match the corresponding model’s parameter count. Iso-FLOP baselines use 36 layers to approximate the forward-pass cost of 3-loop models.
Figure 4: Memory gate activations across layers and training. Left: Local memory gate values show high variance across layers while later layers tend to have higher gate activations, and the spread increases over training. Right: Global memory gate values increase during training but converge to a more uniform profile across layers, with activations rising up to approximately layer 5 and then plateauing.
Without Memory
With Memory
Bench
Base
L3
L5
L7
L3 IF
M-B IP
M -3
M 0
M 3
M-B IF
Commonsense Accuracy ↑
ARC-C
0.367
0.375
0.492
0.398
0.430
0.398
0.414
0.359
0.398
0.438
ARC-E
0.609
0.672
0.609
0.586
0.688
0.602
0.648
0.672
0.641
0.680
HellaSwag
0.445
0.469
0.445
0.438
0.508
0.453
0.461
0.453
0.461
0.508
Lambada
0.211
0.266
0.289
0.281
0.211
0.227
0.250
0.281
0.242
0.273
Appendix
Table 3: Full results at the final checkpoint. Best result within each group is bolded. Base = standard transformer; L N = Loop- N ; L3 IF = iso-FLOP for Loop-3; M-B IP = memory iso-parameter baseline; M g0 = memory model with gate init g0 ; M-B IF = memory iso-FLOP baseline.
Bench
Base
L3
L5
L7
L3 IF
M-B IP
M -3
M 0
M 3
M-B IF
Commonsense Accuracy ↑
ARC-C
0.320
0.281
0.336
0.336
0.359
0.359
0.312
0.305
0.367
0.344
ARC-E
0.547
0.469
0.477
0.523
0.602
0.531
0.508
0.508
0.555
0.586
HellaSwag
0.430
0.391
0.398
0.422
0.414
0.398
0.383
0.391
0.359
0.414
Lambada
0.164
0.156
0.188
0.164
0.148
0.133
0.219
0.203
0.164
0.172
PIQA
0.555
0.609
0.633
0.617
0.539
0.594
0.641
0.609
0.609
0.578
Appendix
Table 4: Results at the early checkpoint (step 5000).
Bench
Base
L3
L5
L7
L3 IF
M-B IP
M -3
M 0
M 3
M-B IF
Commonsense Accuracy ↑
ARC-C
0.398
0.414
0.453
0.375
0.438
0.312
0.367
0.352
0.359
0.453
ARC-E
0.547
0.617
0.523
0.562
0.625
0.594
0.625
0.578
0.648
0.602
HellaSwag
0.406
0.375
0.406
0.430
0.461
0.391
0.422
0.438
0.430
0.453
Lambada
0.234
0.328
0.297
0.273
0.289
0.250
0.297
0.273
0.289
0.289
PIQA
0.594
0.625
0.609
0.656
0.664
0.633
0.641
0.641
0.656
0.672
Appendix
Table 5: Results at the mid checkpoint (step 20000).