When Does Recurrence Become an Algorithm? Convergence Selection in Weight-Tied Looped Transformers

· Source: stat.ML updates on arXiv.org · Field: Technology & Digital — Artificial Intelligence & Machine Learning · Depth: Expert, extended

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

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

Topics

Best for: Research Scientist, AI Scientist, Machine Learning Engineer

Related on AIssential

Open in AIssential →

Editorial summary, takeaway, and curation by AIssential. Original article published by stat.ML updates on arXiv.org.