LoopUS:将预训练大语言模型重构为循环潜在精炼模型 LoopUS: Recasting Pretrained LLMs into Looped Latent Refinement Models
LoopUS 通过表征分层分解把预训练 LLM 改造成稳定可训的循环潜在精炼架构。
前置知识
循环语言模型 (Looped LLM)
循环语言模型是指在推理时将同一组 Transformer 层(称为循环块)反复施加若干次、迭代地精炼隐藏状态后再做输出的模型。形式上,对输入 $h^{(0)}$ 执行 $h^{(b+1)}=M(h^{(b)})$ 共 $B$ 轮,再交给输出头。该范式在参数不变的前提下通过增加深度(即迭代步数)放大有效算力,与一般通过延长序列长度来分配测试时算力的方法形成互补。
本文的核心对象就是循环 LLM 的训练稳定性与适配效率;只有先理解「循环块复用」与「参数不变、深度增加」这一基本思路,才能体会 LoopUS 解决的具体问题是什么。
隐藏状态几何与分层动力学
近期可解释性研究发现,Transformer 各层之间的隐藏状态呈现出「早期快速变化—中部平台—末期投射到词表空间」的三段式模式,可通过相邻层余弦距离与 PCA 可视化直接观察到。中间层往往承担「潜在工作区」的角色,编码高阶语义但变化缓慢,可作为可复用的精炼空间。
LoopUS 的所有设计都基于这一观察——它把模型按隐藏状态动力学分段,从而为「哪一层应作为循环块」提供了非启发式的依据,而不是凭经验截取若干层。
选择性门控与 Mamba 风格衰减
在循环结构中,门控决定每个时间步保留多少旧状态、引入多少新信息。Softmax 门控做归一化选择,而「衰减门」直接控制新旧状态的插值比例。Mamba 等状态空间模型使用输入相关的指数衰减 $\alpha = \exp(\Delta \odot A)$,使更新步长落在 $(0,1)$ 内,从而起到隐式收缩与稳定化的作用。
LoopUS 的 selective gate 正是把 Mamba 的输入相关衰减思想迁移到深度维度:对循环块每次提议的更新与上一时刻状态做凸插值,避免隐藏状态漂移。
随机深监督 (Random Deep Supervision)
当循环步数 $B$ 较大时,沿所有步反向传播(BPTT)显存开销巨大且易出现梯度消失/爆炸。随机深监督在每个训练批次中只对 $K \ll B$ 个随机采样位置施加监督、其余步以 `no_grad()` 跑通并 `detach()`,从而把整条链切成若干短梯度段。
这是 LoopUS 在长循环预算下仍然能高效训练的关键工程技巧;不理解这一点就读不懂训练目标里三段损失如何在采样深度上叠加。
测试时计算 (Test-Time Compute, TTC)
测试时计算指在推理阶段为每个样本动态分配额外算力以换取更好的输出质量,常见实现包括:更长 CoT 链、采样投票、迭代式自一致性、循环潜在精炼等。其核心思想是「不同样本需要的思考量不同」,因此应根据置信度或难度自适应决定算力投入。
LoopUS 的 confidence head 正是为了让 TTC 自适应——简单样本几步就停,困难样本多用迭代;理解 TTC 是抓住整篇论文应用动机的前提。
研究动机
循环架构虽然能在不增加参数的情况下通过反复精炼隐藏状态提升 LLM 的推理能力,但现有路线要么从头训练循环 Transformer(在 1B+ 规模上代价极高),要么对已训练好的 LLM 做破坏性「再循环化改造」——例如直接选取一组连续层重复堆叠。后者存在三个公认的痛点:第一,没有确定「哪几层应作为循环体」的原则,目前只能靠层数划分或经验启发式,缺乏对隐藏状态动力学的分析支撑;第二,预训练层是为单遍前向设计的,强行迭代会引发 hidden-state drift——隐藏状态在每次循环后偏离原语义空间,迭代精炼退化为随机漂移;第三,沿整个 $B$ 步展开做反向传播(BPTT)既显存爆炸又梯度不稳,使长循环预算难以实用化。这些问题共同导致:循环 LLM 的训练成本居高不下、对预训练知识破坏严重、对长循环预算适配困难,从而限制了测试时计算这条潜在算力扩展路径的实际落地。
本文的目标是本文的具体目标是设计一个 post-training 框架——无需从零训练、也不做破坏性改造——把一个标准的预训练 LLM 安全地「重构」为一个稳定的循环潜在精炼模型,使其在保留原预训练能力的前提下,通过输入相关的隐藏状态精炼获得更优的零样本推理表现,并且能在受限训练预算下达到超过现有循环 LLM 的适配效率。最终,作者希望把这一框架推广到 1.7B 到 14B 的多尺度 Qwen、TinyLlama 与 Phi-4 模型上,验证其在不改变外部解码接口、不显著增加参数成本的情况下稳定带来语言建模困惑度下降与下游任务准确率提升。
与已有工作不同的是,本文的独特切入角度是把循环 LLM 的「可训练性问题」拆解成三个相互独立的工程子问题,并各自给出明确的、可组合的解决方案:先用「表征分层动力学分析」给出循环块的非启发式选取依据(按余弦相似度变化最剧烈的边界切 encoder/reasoning/decoder),再用「输入相关的 selective gate」以 Mamba 风格衰减为每次循环施加隐式收缩,最后用「随机深监督 + 置信度头」切断 BPTT 的长梯度链并自适应决定停止位置。这三者结合既不依赖从零训练,也避免了直接堆叠整段预训练层造成的破坏,使 LoopUS 在 3B token 这一极小训练预算下就取得了优于使用 17–20 倍训练 token 的现有循环基线的成绩(详见 Table 2,Δ=+6.3 vs Δ=−2.9 / +3.5)。
核心方法
LoopUS 的整体思路可以一句话概括为:把预训练 LLM 沿深度切成「encoder—reasoning block—decoder」三段,只把中间段反复执行 $B$ 次,并在每次循环之后用一个输入相关的 selective gate 把「提议的新状态」与「上一时刻状态」做凸插值以避免漂移。直觉上,这相当于把 LLM 看作一个三阶段管线:encoder 把 token 投影到抽象语义空间,reasoning block 在该空间里反复打磨隐藏状态(相当于「内心推理」),最后 decoder 把打磨好的状态映射回词表逻辑。整个循环的训练目标由三部分组成:自回归交叉熵损失 $\mathcal{L}_{LM}$ 提供主监督,单调性损失 $\mathcal{L}_{mono}=\mathrm{SiLU}(\mathcal{L}_{LM}^{(b)} - \mathcal{L}_{LM}^{(b-1)})$ 惩罚「越循环越糟」的退化,置信度损失 $\mathcal{L}_Q$ 训练一个预测「再算一遍是否值得」的轻量头,从而实现自适应推理。训练时只对 $K$ 个随机采样深度施加反向传播,其余步骤以 `no_grad()` 跑通并 `detach()`,把长循环预算下的显存与梯度稳定性同时控制住。
和已有「retrofitted recurrence」类工作相比,LoopUS 的本质区别在于三点协同创新:(1) 按表征动力学切层而非靠经验切层——通过分析隐藏状态在深度方向的余弦相似度曲线自动确定 encoder/reasoning/decoder 边界,使循环块的选取有据可依;(2) 把循环步建模成受控的「松弛固定点迭代」——通过 $\alpha^{(b)} = \exp(\Delta^{(b)} \odot A) \in (0,1)$ 的对角衰减门,使每次更新等价于一个带对角预条件子的 Euler 步,从而把 Mamba 的输入相关选择性衰减思想从时间维度迁移到深度维度;(3) 把长循环 BPTT 切断成短梯度段——用 $K$-subset 随机深监督 + `detach()` 阻断,让 20 步甚至 100 步的循环预算都能稳定训练。同时,confidence head 让循环步数从固定预算变成随样本难度自适应,这是把循环 LLM 真正接入测试时计算范式的关键。
方法步骤详情
LoopUS 的方法可以拆解为四个紧密耦合的步骤。第一步,块分解(block decomposition):对目标 LLM 沿深度方向计算相邻层隐藏状态的余弦相似度,定位相似度变化最剧烈的两个位置作为 encoder–reasoning 与 reasoning–decoder 的边界(参考 Mi:DM 的做法),得到 $E$、$M$、$D$ 三个块;仅 $M$ 会被反复循环,$E$ 与 $D$ 各只跑一次。第二步,循环推理与 selective gating:给定 $h^{(0)}=E(x_{0:T})$,对 $b=0,\dots,B-1$ 依次执行——先由 reasoning block 提议新状态 $M(h^{(b)})$,再用门 $G$ 把它与 $h^{(b)}$ 混合:先算残差 $\delta^{(b)} = M(h^{(b)}) - h^{(b)}$,再算步长 $\Delta^{(b)} = \mathrm{softplus}(W_\Delta \delta^{(b)} + b_\Delta)$,得到衰减因子 $\alpha^{(b)} = \exp(\Delta^{(b)} \odot A)$($A$ 为可学习的负向量),最后做凸插值 $h^{(b+1)} = \alpha^{(b)} \odot M(h^{(b)}) + (1-\alpha^{(b)}) \odot h^{(b)}$。第三步,置信度头与自适应停止:每步由 confidence head 产生标量 $\tilde{q}^{(b)} = q_\phi(h^{(b)})$ 与对应概率 $q^{(b)} = \sigma(\tilde{q}^{(b)})$,与阈值 $q_{th}$ 比较后决定是否提前退出,循环步数从固定 $B$ 变成随样本自适应的 $\hat{B} \le B$。第四步,训练时的随机深监督:每个 batch 内对 $B$ 步展开中随机采样 $|S|=K$ 个位置施加监督;被采样的步正常计算 $\mathcal{L}_{LM}+\mathcal{L}_{mono}+\mathcal{L}_Q$ 并反向传播,未被采样的步以 `torch.no_grad()` 跑通并 `h = h.detach()` 后再进入下一步,从而把梯度链长度从 $B$ 缩短到期望 $\mathcal{O}(B/K)$。训练结束后,推理时把 $B$ 替换为更大的预算(论文尝试到 100)并配合 confidence-based stopping,平均只用约 3.4 步即可达到接近最优的性能(见 Figure 5)。
技术新颖性
从技术新颖性看,LoopUS 在三个方面都对已有循环 LLM 文献做出了实质性推进。第一,块分解原理——把「哪几层应该被循环」这一一直依赖人工设定的超参数变成可由隐藏状态余弦相似度曲线自动决定的「分析性选择」,这是首次在公开工作中以 staged representation dynamics 给出明确依据,避免了把整个 backbone 一刀切再做选择的粗糙做法。第二,深度域的 Mamba-style selective decay——已有的循环 LLM 通常使用 softmax 式或简单的常数门,本文则把 Mamba 的输入相关指数衰减迁移到 depth 域,用 $\alpha = \exp(\Delta \odot A) \in (0,1)$ 的对角预条件子构造一个「松弛收缩」迭代,并由此给出与连续 ODE $\dot{h} = P(h)(M(h)-h)$ 的类比,这是新颖的理论桥接。第三,训练机制的三位一体——将随机深监督、单调性正则(用 SiLU 软惩罚)、轻量置信头三件事放在同一个目标里同时训练:$\mathcal{L}=\mathcal{L}_{LM}+\mathcal{L}_{mono}+\mathcal{L}_Q$,使长循环预算训练既稳定又能学到自适应停止。第四,实验层面的实证贡献——首次在 1.7B 到 14B 的多家族、多尺度预训练 LLM(Qwen3、Phi-4、TinyLlama)上系统验证「post-training 循环化」的可行性,并报告 WikiText 困惑度最大下降 17.4%、LAMBADA 下降 21.3%、TinyLlama 上 6 项平均 Δ=+6.3 等具体指标,整体刷新了同训练预算下的循环 LLM 适配效率。
实验结果
核心实验一:跨尺度 backbone 评估(Table 1)。在 Qwen3-1.7B/4B/8B 与 Phi-4 14B 上,仅使用 3B token FineWeb-Edu 训练,LoopUS 把 WikiText 困惑度从 21 / 16.4 / 12.2 / 9.59 分别降到 16.9 / 13.9 / 10.3 / 7.75(最大降幅 19.5%),LAMBADA 困惑度从 12.21 / 7.29 / 4.58 / 4.03 分别降到 7.43 / 5.33 / 4.32 / 3.49(最大降幅 39.1%)。下游 7 项基准平均准确率提升 +1.6 到 +2.2 个百分点,其中 Qwen 8B 上 ARC-Challenge 从 55.4 涨到 58.1(+2.7)、OpenBookQA 从 31.6 涨到 37.0(+5.4),提升最显著的子项都是需要「明确决策过程」的推理类任务,而 MMLU 与 HellaSwag 改进较小,验证了 LoopUS 对「需要潜在精炼的推理」更友好、对「依赖广泛知识检索」的任务帮助有限这一规律。核心实验二:受限训练预算下的对比(Table 2)。在 TinyLlama-1.1B 这一共享 6 任务推理基准上,LoopUS 仅用 3B token 即把 AVG 从 43.1 提升到 49.4(Δ=+6.3),而 McLeish et al. 2025 用 52B token(17× 多)反而 AVG 从 52.1 跌到 49.3(Δ=−2.9)、Bae et al. 2025 用 60B token(20× 多)AVG 从 43.3 升到 46.7(Δ=+3.5),证明 LoopUS 的适配效率在训练数据维度上具有显著优势。核心实验三:推理时递归深度分析(Figure 5)。在 Qwen3-4B 上把最大推理预算从 1 拉到 100,绝大多数任务的最佳深度集中在 4–12 之间,启用 confidence head 后平均只用 3.39 步就接近最优,说明模型不仅会「早停」,而且学到了「在合适的点早停」。核心实验四:循环动力学分析(Figure 6–8)。训练过程中单调性损失 $\mathcal{L}_{mono}$ 逐步收敛到 0、$\mathcal{L}_{LM}$ 在所有采样深度上都平稳下降;具体算例 `32 * 64 =` 的隐藏状态轨迹在前几步做大幅修正后就收缩,token 级别看正确答案 `2` 的概率从 iter 0 的 $2.17 \times 10^{-5}\%$ 一跃升到 iter 1 的 81.9%、iter 4 的 89.8%。核心实验五:消融(Figure 9)。去掉 selective gate、去掉 encoder-decoder 分解、去掉随机深监督、把 decay gate 换成 sigmoid、把 SiLU 换成 ReLU/SELU/SoftPlus、改用 TBPTT 都会使 $\mathcal{L}_{LM}$ 升高或训练不稳定,从而印证每个组件都是必要的。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| WikiText 语言建模困惑度(Qwen3-1.7B) | Perplexity ↓ | 16.9 | 21.0(Qwen3-1.7B w/o LoopUS) | −4.1 ppl(−19.5%) |
| LAMBADA 语言建模困惑度(Qwen3-1.7B) | Perplexity ↓ | 7.43 | 12.21(Qwen3-1.7B w/o LoopUS) | −4.78 ppl(−39.1%) |
| 7 项下游基准平均(Qwen3-8B) | Accuracy ↑ | 65.4 | 63.2(Qwen3-8B w/o LoopUS) | +2.2 个百分点 |
| ARC-Challenge(Qwen3-8B) | Accuracy ↑ | 58.1 | 55.4(Qwen3-8B w/o LoopUS) | +2.7 个百分点 |
| OpenBookQA(Qwen3-8B) | Accuracy ↑ | 37.0 | 31.6(Qwen3-8B w/o LoopUS) | +5.4 个百分点 |
| 6 项推理基准平均(TinyLlama-1.1B,3B token 训练) | Accuracy ↑ | 49.4 | 43.1(TinyLlama 原模型) | +6.3 个百分点(Δ) |
| 6 项推理基准平均(TinyLlama-1.1B,McLeish et al. 2025) | Accuracy ↑ | 49.4(LoopUS, 3B tokens) | 49.3(McLeish et al., 52B tokens) | +0.1 / 用 17× 少训练 token 即打平 |
| 6 项推理基准平均(TinyLlama-1.1B,Bae et al. 2025) | Accuracy ↑ | 49.4(LoopUS, 3B tokens) | 46.7(Bae et al., 60B tokens) | +2.7 / 用 20× 少训练 token 显著超越 |
| WikiText 困惑度(Phi-4 14B) | Perplexity ↓ | 7.75 | 9.59(Phi-4 w/o LoopUS) | −1.84 ppl(−19.2%) |
| 推理时平均循环步数(Qwen3-4B,confidence stopping) | 平均迭代次数 ↓ | 3.39 | 固定 8 步无 confidence stopping | −57.6% 计算量且接近最优性能 |
局限与改进
作者在文中坦承的局限主要有:(1) 任务敏感——LoopUS 对需要明确推理链的 ARC-C/PIQA/WG/OBQA 提升明显,但对依赖广泛世界知识的 MMLU、HellaSwag 改进极小甚至略降(如 Phi-4 14B 上 HS 由 63.1 降至 60.58),说明循环精炼并不能补足知识缺口。(2) 依赖准确的层分解边界——尽管作者以余弦相似度曲线为依据,但 encoder/reasoning/decoder 三段切分仍属于「一次性的架构选择」,对极小或极大模型是否仍稳定并未充分验证。(3) Selective gate 的形式化保证有限——凸插值 $\alpha \in (0,1)$ 并不数学上保证整个复合算子是严格收缩,作者仅以连续 ODE 类比给出「松弛收缩」的直觉。(4) 随机深监督只在单 GPU 训练规模下测试,尚未验证在更大 batch 或多节点训练中的稳定性。(5) Confidence head 的停止阈值 $q_{th}$ 需要手工调节,不同任务或模型族的最优阈值可能不同,缺乏自动选择机制。我自己观察到的额外局限:实验主要在 Qwen3 系列、TinyLlama 与 Phi-4 上进行,缺乏对 Llama-3 / Mistral / DeepSeek 等其他家族的验证;decoder 同样需要把 20 步累计的隐藏状态一次性映射到词表,没有研究 decoder 是否也会因隐藏状态偏离训练分布而受损。
独立分析的弱点
在独立审视后,本文存在以下可改进的弱点。第一,encoder/decoder 仍按固定边界被调用——decoder 只跑一次,可能无法适配长循环后隐藏状态分布的偏移;如果让 decoder 也按 confidence head 提前终止或做最后一次「重新归一」,有望进一步降低 LAMBADA 等长上下文困惑度。改进方向:让 decoder 在最终映射前再叠 1–2 个轻量 refinement block。第二,confident head 是一个简单的标量 sigmoid,对多模态不确定性表达不足——它无法区分「接近答案但选错 token」与「远离答案」,可能在边缘样本上给出错误的高置信度。改进方向:换成分布式的 confidence 估计或基于 ensemble disagreement 的不确定性。第三,训练目标里 $\mathcal{L}_{mono}$ 用的 SiLU 虽然被消融验证为最优,但作者没有解释为什么 SiLU 在负值区域「小负值」正好对应「小幅改进」这一隐式映射;如果换成自适应调节斜率的激活,效果可能更好。第四,整套系统假设 $\alpha$ 在 $(0,1)$ 之间、$A$ 为负向量这一先验——这其实是把 Mamba 的归纳偏置硬塞进了深度域;如果任务对此敏感(例如需要跨循环大幅度跳跃的任务),可能反而抑制有效更新。改进方向:让 $\alpha$ 的取值范围在训练中自适应放松。第五,论文缺乏对训练数据规模与 LoopUS 增益之间关系的缩放律分析——只测了 3B tokens 一个点,无法判断更多训练 token 是否会饱和或反噬。改进方向:在 1B / 10B / 100B tokens 上重新跑出缩放曲线。第六,未给出 decoder 是否需要重新校准的实验——长循环后 hidden state 进入了一个新分布,decoder 仍按预训练时的「单遍分布」工作,可能存在 mismatch。
未来方向
基于本文的成果,至少有以下几条值得延伸的方向。(1) 与显式 CoT 结合——把循环潜在精炼放在每个 CoT 步内做 reasoning,再在外层做更长链的 planning,有可能把「test-time compute 深度 + 宽度」两条轴同时拉满。(2) 把 LoopUS 推广到多模态 / 视觉语言模型——本文完全在纯文本上验证,循环精炼对 VLM 的视觉 grounding 是否有效、层分解是否仍合理是值得探索的问题。(3) 与蒸馏 / 剪枝协同——既然 LoopUS 可以让 1.7B 模型获得类 4B 的 Wiki ppl,那是否可以用它把大模型的能力「压缩循环化」到小模型,从而实现新型蒸馏?(4) 自动化 encoder/reasoning/decoder 边界搜索——目前边界要人工从余弦相似度曲线上肉眼挑,未来可借助可微搜索或 NAS 类方法自动寻找最优切点。(5) Confidence head 与 RL 结合——把 confidence-based stopping 与 RL 中的 early-termination reward 结合,让模型学会在不确定时主动请求更多循环步而非盲目停止。(6) 异构循环——本文对所有 token 用同一个 $\alpha^{(b)}$ 做门控,未来可探索 per-token 不同步数或 per-layer 不同 $\alpha$,以实现「难 token 多想、简单 token 少想」的更细粒度自适应计算。作者在 conclusion 中已暗示这些方向,并表示希望 LoopUS 成为把「预训练 Transformer 深度」转化为「自适应测试时计算」的一般范式。
复现评估
LoopUS 的复现门槛属于「中-高」。代码与数据:作者给出了项目主页 https://thrillcrazyer.github.io/LoopUS 链接,论文承诺开源训练与评测脚本,但 arXiv 公开版本(v1)尚未给出具体 GitHub 仓库地址(基于 v1 提交时间推断),读者需要后续关注正式版或作者主页更新。训练数据:完全使用公开的 FineWeb-Edu 3B token 子集,无私有数据。评测协议:使用标准 lm-evaluation-harness,覆盖 WikiText、LAMBADA、MMLU、HellaSwag、ARC-Easy、ARC-Challenge、PIQA、WinoGrande、OpenBookQA 九个基准;推理默认用 confidence-based stopping + KV caching,最大循环预算 8(分析时拉到 100),与多数 LLM 评测工具兼容。算力门槛:1.7B 用 L40S、4B 用 RTX PRO 6000、8B 用 RTX PRO 6000、14B 用 H200,整套实验估计需要至少 4× L40S + 2× H200 数量级的 GPU 资源;对一般实验室而言,1.7B 与 4B 复现门槛相对低(单卡或 4 卡),8B 与 14B 复现门槛较高。复现难度:选择性门控涉及 `softplus(W_Δ δ + b_Δ)` 与可学习负向量 $A$,随机深监督需要正确处理 `detach()` 时机,confidence head 阈值 $q_{th}$ 需要按任务手工调——这三处实现细节若处理不当会导致显著性能差异。综合来看,论文对方法、训练目标、消融、超参给出了较为完整的描述,主要工程难点在选择性门控的数值稳定性与 confidence 阈值的调参。
论文图表
左图 (a) 是 Qwen3-1.7B 沿深度的相邻层隐藏状态余弦距离曲线,呈现出三段:早期(输入嵌入附近)距离先升后降、中部出现一个明显的低距离平台(≈0.1 以下)、末期在接近输出投影时陡升到 0.6+;右图 (b) 是用 PCA 把不同 prompt 的隐藏状态轨迹可视化,可见中部轨迹在一个有界弧线内缓慢演化、末期轨迹急剧拐向词表方向。
这张图是 LoopUS 整个方法论的「经验基石」——它直接为「为什么模型可以按 encoder/reasoning/decoder 三段切分并只循环中间段」提供了可视化证据,没有 Figure 1,整篇论文就缺少切层依据的说服力。