Paper: 2609.09157 Author: Hanwen Jiang Categories: cs.CL, cs.LG

The Gap

Recurrent models are the natural architecture for long-context modelling, and models trained with backpropagation through time often fail beyond their training horizon. The classical explanation is about gradients: they vanish or explode along temporal paths, so the learning signal does not survive the distance.

The paper opens with a counterexample that the classical account cannot absorb: dense per-token losses can still train a shared recurrent rule despite severe decay. If decay were the deciding factor, severe decay should prevent that. It does not — so decay alone does not determine whether learning fails. Something else has to explain why extrapolation breaks.

   RECURRENT MODELS AND THE EXTRAPOLATION FAILURE

   recurrent models: the NATURAL architecture for long-context
     models trained with BPTT OFTEN FAIL BEYOND THEIR
     TRAINING HORIZON
        |
        v
   THE CLASSICAL EXPLANATION: GRADIENTS
     they VANISH or EXPLODE along temporal paths
     -> the learning signal does not survive the distance
        |
        v
   [THE COUNTEREXAMPLE THE CLASSICAL ACCOUNT CANNOT ABSORB]
     DENSE per-token losses can STILL TRAIN a shared recurrent
     rule DESPITE SEVERE DECAY
        |
        v
   if decay were the deciding factor, severe decay should
   PREVENT it -- it does NOT
        |
        v
   -> DECAY ALONE DOES NOT DETERMINE WHETHER LEARNING FAILS
   -> something else must explain why EXTRAPOLATION breaks

The Increment

One sentence: Before this paper, temporal failure was attributed to gradient decay; after it, a distinction between decay and state credit identifies the actual culprit, and a norm-preserving rescaling of that credit extends performance to 128× the training horizon.

Core Mechanism

The contribution begins with a distinction the classical account collapses.

State credit is the signal through which future losses reach earlier recurrent states, before contributing to parameter updates. That “before” is the whole point. Gradient decay is a property of the path from loss to parameters. State credit is a property of the path from loss to earlier states — and a recurrent rule can be trainable in the second sense while being poor in the first. Separating them explains the counterexample: the parameters were being learned adequately, while the signal connecting later outcomes to earlier states was not stable enough for the representation to extrapolate.

The intervention acts on state credit directly. Credit Stabilization through Time (CST) locally rescales the state-credit signal during backward propagation to stabilise its norm, and it does so without rotating the component being corrected, while leaving the forward computation unchanged.

Two properties of that design deserve isolating. “Without rotating” means the rescaling is norm-only: it changes the magnitude of the credit signal and not its direction. A blanket normalisation that also rotated the vector would perturb the very signal being corrected — fixing the scale problem by corrupting the content, which is a recognisable way for a fix to fail. And “leaving the forward computation unchanged” makes this a training-time intervention only: inference is unaffected, so the extrapolation gain is not bought by changing what the model computes at test time.

Because controlled synthetic tasks and real data exhibit different credit dynamics, CST is specialised to each regime. That is a modelling decision rather than an admission: if the dynamics differ across regimes, a single setting cannot be right for both.

The results are stated in the unit that matters for the claim: gains are observed at up to 128× the training length. Extrapolation measured as a multiple of the horizon the model was trained on is exactly the right quantity — an improvement that raised in-horizon accuracy would say nothing about the failure being addressed.

   THE DISTINCTION THE CLASSICAL ACCOUNT COLLAPSES

   STATE CREDIT = the signal through which FUTURE LOSSES reach
   EARLIER RECURRENT STATES, BEFORE contributing to parameter
   updates
        <- "before" is the WHOLE POINT
        |
        +-- GRADIENT DECAY: a property of the path from
        |   loss -> PARAMETERS
        +-- STATE CREDIT:  a property of the path from
            loss -> EARLIER STATES
        |
        v
   a recurrent rule can be TRAINABLE in the second sense while
   being POOR in the first
     -> explains the counterexample: the PARAMETERS were being
        learned adequately, while the signal connecting later
        outcomes to earlier states was not stable enough for the
        REPRESENTATION to extrapolate

   THE INTERVENTION: CST (Credit Stabilization through Time)
     during BACKWARD propagation, LOCALLY RESCALES the
     state-credit signal to STABILISE ITS NORM
       - WITHOUT ROTATING the component being corrected
       - while LEAVING THE FORWARD COMPUTATION UNCHANGED

     WHY THOSE TWO PROPERTIES MATTER
       "without rotating" -> NORM-ONLY: changes the MAGNITUDE of
         the credit signal, not its DIRECTION
         <- a blanket normalisation that also ROTATED would
            perturb the very signal being corrected: fixing the
            scale problem by corrupting the content, a
            recognisable way for a fix to FAIL
       "forward unchanged" -> TRAINING-TIME ONLY: inference is
         unaffected
         -> the extrapolation gain is NOT bought by changing what
            the model computes at TEST time

   SPECIALISATION: controlled synthetic tasks and real data
   exhibit DIFFERENT CREDIT DYNAMICS
     -> CST is specialised to each regime
     <- a modelling decision, not an admission: if the dynamics
        differ across regimes, a single setting cannot be right
        for both

   RESULT in the unit that matters for the claim
     gains observed at up to 128x THE TRAINING LENGTH
       <- extrapolation measured as a MULTIPLE OF THE HORIZON the
          model was trained on
       <- an improvement that raised IN-HORIZON accuracy would say
          nothing about the failure being addressed

Think of it as a relay race where the baton is being passed, not dropped. The classical story is about runners tiring — the signal fading over distance — and its remedy is to keep the handoff strength up. The counterexample shows that a team can have plenty of handoff strength and still lose, because the problem is the legibility of the baton: each runner receives something whose scale has drifted so far that they cannot tell a strong pass from a weak one. Stabilising the scale of what gets handed back — without altering its direction, and without changing how anyone runs forward — is what lets the line extend. The distinction also tells you where to intervene: strengthening handoffs (gradients) is not the same as making the baton readable (state credit).

Key Concepts

  • State credit versus gradient decay: the signal from future losses to earlier states, distinguished from the signal from loss to parameters. The distinction explains why severe decay can coexist with successful parameter learning and failed extrapolation.
  • Norm-only rescaling: stabilising the magnitude of the credit signal without rotating it. It avoids fixing the scale problem by perturbing the content, which is how such interventions typically go wrong.
  • Forward computation untouched: a training-time-only intervention, so inference cost and semantics are unchanged. It rules out the explanation that the model simply got a different function to compute.
  • Regime-specific dynamics: synthetic and real credit dynamics differ, so stabilisation is specialised. It follows from measurement rather than convenience.
  • Extrapolation in units of the training horizon: 128× the training length. Measuring the gain this way keeps it a claim about extrapolation rather than about in-horizon accuracy.

Framework Shift

Before (temporal failure as gradient decay):
  BPTT-trained recurrent models fail beyond their horizon
  -> attributed to vanishing / exploding gradients
  -> remedy: improve gradient flow
  -> but dense per-token losses train successfully despite
     severe decay, which the account cannot explain

After (decay separated from state credit):
  state credit = future losses reaching earlier states,
    before parameter updates
  CST stabilises the norm of that signal in the backward pass,
    without rotating it and without touching forward computation
  -> specialised per regime, because credit dynamics differ
  -> gains at up to 128x the training length

From treating temporal failure as a gradient-flow problem, to distinguishing parameter learning from state-to-state credit and stabilising the latter, the core shift is that a model can learn its parameters while failing to propagate information through its own states.

Expert Assessment

Problem choice: Excellent, and it starts from a counterexample rather than from a theory. Long-context extrapolation is among the more consequential limitations of recurrent architectures, and proposing a distinction because the classical account leaves an observation unexplained is how a genuinely new mechanism gets identified.

Method maturity: The state-credit definition is precise, and the “before contributing to parameter updates” qualifier is what separates it from gradient decay rather than relabelling it. The intervention’s two constraints — norm-only, and forward-unchanged — are the right guardrails, since relaxing either would leave the result attributable to something other than the claimed mechanism. Specialising per regime follows from measured differences rather than convenience. The scope is a training-time intervention on recurrent models, and 128× is reported as the observed extent rather than as a general law.

Experimental integrity: The claim is supported by the counterexample, a mechanistic distinction, a targeted intervention, and gains measured in the right units. The main limitation is that the intervention modifies the backward pass, which is more invasive than a hyperparameter change — teams will want to know how it interacts with gradient clipping, other stabilisation techniques and any non-recurrent components in a mixed architecture, and how sensitive the outcome is to the specialisation choice between regimes.

Writing quality: The distinction is stated in one sentence and everything follows from it, which is what makes a mechanism paper readable. Because the practical question is whether this composes with an existing training stack, a short section on what CST does to a standard backward pass — and what it deliberately leaves alone — would make adoption much easier to assess.

Verdict: strong accept — it identifies a mechanism the classical account conflates with gradient decay, intervenes on it precisely, and reports extrapolation gains measured in the units the problem is actually about.

Takeaways

  • Separate parameter learning from state-to-state information flow. A model can train well and still fail to propagate signal through its own history.
  • When a theory leaves an observation unexplained, propose a distinction rather than a better version of the theory. The counterexample here was more informative than the decay story.
  • Keep the correction norm-only. Rescaling a signal while rotating it perturbs the content, which fails in a way that resembles the original problem.
  • Report extrapolation as a multiple of the training horizon. In-horizon accuracy is silent about the failure being addressed.

论文: 2609.09157 作者: Hanwen Jiang 分类: cs.CL, cs.LG

论文: 2609.09157 作者: Hanwen Jiang 分类: cs.CL, cs.LG

缺口

循环模型是长上下文建模的自然架构,而用时间反向传播(BPTT)训练的模型常常在超出训练视界后失效。经典的解释关乎梯度:它们沿时间路径消失或爆炸,于是学习信号无法存活到那个距离。

论文以一个经典解释无法吸收的反例开篇:即便存在严重衰减,密集的逐 token 损失依然能训练出一套可用的共享循环规则。 如果”衰减”才是决定性因素,那么严重衰减本应阻止这件事。它没有——所以**“衰减”本身并不能决定学习是否失败**。必须另有东西解释”外推为何崩掉”。

   循环模型与外推失效

   循环模型:长上下文的「自然」架构
     用 BPTT 训练的模型「常常在超出训练视界后失效」
        |
        v
   经典解释:梯度
     它们沿时间路径「消失或爆炸」
     -> 学习信号无法存活到那个距离
        |
        v
   [经典解释无法吸收的反例]
     即便存在「严重衰减」,「密集」的逐 token 损失
     依然能「训练出」一套可用的共享循环规则
        |
        v
   如果"衰减"才是决定性因素,严重衰减本应「阻止」它——
   而它「没有」
        |
        v
   -> 「衰减本身」不能决定学习是否失败
   -> 必须另有东西解释"外推为何崩掉"

增量

一句话: 在这篇论文之前,时序失效被归因于梯度衰减;在这篇论文之后,一个把「衰减」与「状态信用」区分开来的划分指出了真正的元凶,而一次保持方向的范数重标定把有效长度扩展到训练视界的 128 倍。

核心机制

贡献始于一个经典解释所抹掉的区分

状态信用(state credit)是”未来的损失抵达更早的循环状态”所经由的信号,且发生在它贡献于参数更新之前。 那个”之前”就是全部要点。梯度衰减是”损失 → 参数”这条路径的性质。状态信用是”损失 → 更早的状态”这条路径的性质——而一套循环规则完全可以在第二种意义上可训练,同时在第一种意义上很差。把两者分开,就解释了那个反例:参数被学得足够好,而”把较晚的结果与较早的状态连起来”的那个信号,不够稳定到让表示得以外推。

干预直接作用在状态信用上。 Credit Stabilization through Time(CST,沿时间稳定信用)反向传播中局部重标定状态信用信号、以稳定其范数,而且不旋转被修正的那个分量,同时保持前向计算不变

这个设计有两条性质值得单独拎出来。 “不旋转”意味着这次重标定只改范数:它改变信用信号的大小,不改变它的方向。一个同时旋转向量的”一刀切归一化”会扰动正在被修正的那个信号本身——那是”靠破坏内容来修好尺度问题”,是一种可以识别的”修法失败”。 而**“前向计算不变”使这只是一个训练期干预:推理不受影响,因此外推收益不是**靠”改变模型在测试时算什么”换来的。

由于受控合成任务与真实数据展现出不同的信用动力学,CST 被分别针对两种区间做了专门化。 这是一个建模决定,而不是一种”承认不足”:如果不同区间的动力学不同,单一设定不可能对两者都正确。

结果以对这个主张最要紧的单位给出:收益在训练长度的最多 128 倍处被观察到。 把外推测量为”训练视界的倍数”正是正确的量——一个只提升了视界内准确率的改进,对这里所针对的失效什么也没说。

   经典解释所「抹掉」的那个区分

   状态信用 = "未来的损失抵达更早的循环状态"所经由的信号,
             且发生在它「贡献于参数更新之前」
        <- 「之前」才是全部要点
        |
        +-- 梯度衰减:路径 "损失 -> 「参数」" 的性质
        +-- 状态信用:路径 "损失 -> 「更早的状态」" 的性质
        |
        v
   一套循环规则可以在这第二种意义上「可训练」,
   同时在第一种意义上「很差」
     -> 解释了反例:「参数」被学得足够好,
        而"把较晚结果与较早状态连起来"的信号,
        不够稳定到让「表示」得以外推

   干预:CST(Credit Stabilization through Time)
     在「反向传播」中,对状态信用信号做「局部重标定」
     以「稳定其范数」
       - 「不旋转」被修正的那个分量
       - 同时「保持前向计算不变」

     这两条性质为什么重要
       "不旋转" -> 「只改范数」:改变信用信号的「大小」,
         而不改变其「方向」
         <- 一个同时「旋转」的一刀切归一化会扰动
            「正在被修正的那个信号本身」:
            靠破坏内容来修好尺度问题——
            一种可以识别的"修法失败"
       "前向不变" -> 「只在训练期」:推理不受影响
         -> 外推收益「不是」靠"改变模型在测试时算什么"换来的

   专门化:受控合成任务与真实数据展现出「不同的信用动力学」
     -> CST 被分别针对两种区间专门化
     <- 这是「建模决定」,不是"承认不足":如果动力学不同,
        单一设定不可能对两者都正确

   结果(用对这个主张最要紧的单位)
     收益在「训练长度的最多 128 倍」处被观察到
       <- 把外推测量为「训练视界的倍数」
       <- 一个只提升了「视界内」准确率的改进,
          对这里所针对的失效什么也没说

可以用**“一场「接力棒在传递、而不是掉棒」的接力赛”来理解这件事: 经典故事讲的是”跑者体力衰竭”——信号随距离衰减——其补救是把手递棒的力度练上去。 但那个反例表明:一支队伍可以递棒力度充足**、却依然输掉,因为问题在于棒本身的可辨性:每一位跑者接到的东西,其尺度已经漂到让他分不清这是一次有力的传递还是无力的一递。 稳定”被递回来的那个量”的尺度——不改变它的方向、也不改变任何人向前跑的方式——才让这条线得以延长。 而这个区分也告诉了你该在哪里干预:**加强递棒(梯度)让棒可辨(状态信用)**不是同一件事。

关键概念

  • 状态信用 vs 梯度衰减: “从未来损失到更早状态”的信号,与”从损失到参数”的信号相区分。这个区分解释了”严重衰减”为何能与”参数学习成功、外推失败”共存。
  • 只改范数的重标定: 稳定信用信号的大小而不旋转它。它避免了”靠扰动内容来修好尺度问题”——那类干预通常就是这样失败的。
  • 前向计算不变: 只在训练期施加,因此推理代价与语义都不变。它排除了”模型只是被换成了另一个要计算的函数”这一解释。
  • 区间特有的动力学: 合成与真实的信用动力学不同,因此稳定手段被专门化。这是从测量得出的,而不是为了省事。
  • 以训练视界为单位的外推: 训练长度的 128 倍。用这种方式度量收益,才让它是一个关于外推的主张,而不是关于视界内准确率的主张。

框架转变

之前(把时序失效当作梯度衰减):
  用 BPTT 训练的循环模型在超出视界后失效
  -> 归因于梯度消失 / 爆炸
  -> 补救:改善梯度流动
  -> 但密集的逐 token 损失在严重衰减下仍能成功训练,
     这是该解释无法说明的

之后(把"衰减"与"状态信用"分开):
  状态信用 = 未来损失抵达更早状态,且发生在参数更新之前
  CST 在反向传播中稳定该信号的范数,
    不旋转它、也不碰前向计算
  -> 因信用动力学不同而按区间专门化
  -> 收益达训练长度的 128 倍

从”把时序失效当作梯度流动问题”,转变为”把参数学习与状态间信用区分开、并稳定后者”,核心转变在于:一个模型可以在学好自己的参数的同时,未能把信息传播穿过它自己的状态。

专家评审

选题眼光: 极好,而且它从一个反例出发,而不是从一个理论出发。 长上下文外推是循环架构较有后果的局限之一;因为经典解释留下了一个无法说明的观察而提出一个新区分,正是”真正的新机制被识别出来”的方式。

方法成熟度: “状态信用”的定义是精确的,而”在贡献于参数更新之前”这个限定,才是把它与梯度衰减分开、而不是改个名字的地方。 干预的两条约束——只改范数、前向不变——是正确的护栏:放宽任何一条,都会让结果可以被归因于所声称机制之外的东西。按区间专门化是从测出的差异推出的,而不是图方便。 范围是对循环模型的一项训练期干预,而 128 倍被报作观察到的程度,而不是一条普遍规律。

实验诚意: 该主张由反例、机制区分、针对性干预、以及用正确单位度量的收益共同支撑。 主要局限是:这次干预修改的是反向传播,比改一个训练超参更具侵入性——团队会想知道它与梯度裁剪、其他稳定技术、以及混合架构中任何非循环组件如何相互作用,也会想知道结果对”区间专门化”这个选择有多敏感。

写作功力: 那个区分用一句话给出,其余一切由它推出——这是机制类论文可读的前提。 由于实际问题是”它能否与现有训练栈组合”,若能补一小节讲清 CST 对标准反向传播做了什么、以及刻意不碰什么,会让采用成本容易评估得多。

判决: 强接收(Strong Accept) — 它识别出一个被经典解释与梯度衰减混为一谈的机制,精确地干预它,并用”问题真正关于的那个单位”报告了外推收益。

要点总结

  • 参数学习状态间的信息流动分开。一个模型可以训练得很好,却未能把信号传播穿过它自己的历史。
  • 当一个理论留下了无法说明的观察时,提出一个区分,而不是”更好的同一个理论”。这里的反例比衰减故事更有信息量。
  • 让修正在范数上完成。对信号做重标定却同时旋转它,会扰动内容——而那种失败看起来很像原来的问题。
  • 把外推报成训练视界的倍数。视界内的准确率对这里所针对的失效什么也没说