claim
active
claim:proposition-4-2-under-bounded-residual-stream-and-weight-tied-attention-the-difference-between-attention-weight-matrices-at-successive-recurrences-is-bounded-by-2-l-sm-kappa-l-b-delta-l-t

Proposition 4.2: Under bounded residual stream and weight-tied attention, the difference between attention weight matrices at successive recurrences is bounded by 2*L_sm*kappa_l*B*||Delta_{l,t}||

Formal bound showing attention patterns change slowly when residual stream converges, linking fixed points to stage stability

Source paper

extracted_from
A Mechanistic Analysis of Looped Reasoning Language Models
(2026) · Hugh Blayney · Álvaro Arroyo · Johan Obando-Ceron · Pablo Samuel Castro +3

Neighborhood — ranked by edge-count

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.