When Does Recurrence Become an Algorithm? Convergence Selection in Weight-Tied Looped Transformers
Summary
A study on weight-tied looped transformers reveals they implement a "linear computation frontier" when trained on group word problems, where a single block is applied T times. Researchers introduced a "head instrument," convergence-time scaling τ(n,i), to accurately measure computation, as traditional "tail instruments" are shown to be blind to the actual algorithmic steps. Four key findings emerged: (1) A "budget law" dictates that the frontier's speed v is directly proportional to the training contract, n_tr/T_tr, with v≈1.00 under T=n training. (2) Architecture, specifically weight tying, selects a serial computation frontier, contrasting with parallel scans learned by standard-depth transformers. (3) Learning limitations stem from optimization challenges related to operator scale (e.g., S_5's 120x120 operator) rather than circuit complexity (NC^1-completeness for A_5 is learned easily), a wall dissolved by an operator-first curriculum. (4) The learned mechanism is portable, transferring across budget contracts via warm-starting, which also re-prices its speed and bypasses training seed lotteries. This work also proposes a principled halting rule, T* = ceil(n/v_hat), for test-time compute.
Key takeaway
For Machine Learning Engineers designing or deploying weight-tied looped transformers, you should prioritize "head instruments" like convergence-time scaling τ(n,i) for mechanistic interpretability, as traditional metrics are misleading. Optimize test-time compute by setting loops T* = ceil(n/v_hat), where v_hat is the learned frontier speed, to avoid overthinking and maximize efficiency. Consider warm-starting models across budget contracts to reliably transfer learned algorithms and bypass training instabilities.
Key insights
Weight-tied looped transformers learn a linear computation frontier whose speed is priced by training budget, detectable by a novel convergence-time scaling instrument.
Principles
- Frontier speed v matches training demand n_tr/T_tr.
- Weight tying selects serial algorithms over parallel scans.
- Optimization cost, not complexity, limits learning.
Method
Introduce convergence-time scaling τ(n,i) to measure when a decoded output at position i stabilizes, identifying the mechanism's scaling class (flat, log n, or n).
In practice
- Use T* = ceil(n/v_hat) for optimal test-time loops.
- Warm-start models to transfer algorithms and re-price speed.
- Employ head instruments for accurate loop mechanism analysis.
Topics
- Weight-Tied Transformers
- Mechanistic Interpretability
- Length Generalization
- Algorithmic Reasoning
- Computation Frontier
- Convergence-Time Scaling
Best for: Research Scientist, AI Scientist, Machine Learning Engineer
Related on AIssential
See Counsel's argued verdicts on the open AI decisions leaders are weighing →
Editorial summary, takeaway, and curation by AIssential. Original article published by stat.ML updates on arXiv.org.