跳转至

Read this page in English

生成路径:草稿验证、并行去噪与少步迭代

基础模型 / 60 个问题 · 15 篇论文

先看问题,想一想,再展开答案。这里持续积累本子主题各篇论文的问答,一篇论文也可以追加多个问题。

阅读本主题精读卡片:多篇论文对比、分析与问答

学习层次

60 个问题 · 15 篇论文

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

LangDiT 为什么在连续 noisy embedding 之外增加 likelihood shortcut?

Designing Transformers for Continuous Diffusion Language Models

问答新增:2026-10-27 · Dots Studio, Xiaohongshu

展开答案与例子

答案:它用码本与带噪状态的关系补充词表后验,并配合噪声条件backbone和有界校准。离散恢复不只依赖一个普通输出head,梯度路由与训练自条件也需对应具体分支。

教学例子:噪声较低时,当前状态接近哪些词的码本向量,可作为恢复token的一条额外线索。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

LangDiT为什么只detach似然shortcut中的显式码本,而不把带噪输入整体detach?

Designing Transformers for Continuous Diffusion Language Models

问答新增:2026-10-27 · Dots Studio, Xiaohongshu

展开答案与例子

答案:显式shortcut与输入构造共享码本,切断前者可控制该路径的梯度,码本仍应通过带噪输入路径学习;整体detach会错误阻断这条训练关系。训练期自条件用熵衰减不可靠反馈,推理却使用未加权后验均值,不能把训练门控直接搬到采样器。

教学例子:例如同一张词向量表既生成带噪输入又参与快捷打分,只冻结快捷乘法的一侧;把输入也冻结,会让本来应学习的码本通路消失。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

LangDiT 的训练 entropy gate,与推理后验均值应使用同样权重吗?

Designing Transformers for Continuous Diffusion Language Models

问答新增:2026-10-27 · Dots Studio, Xiaohongshu

展开答案与例子

答案:文档训练bootstrap按置信度衰减并stop-gradient,推理使用未加权后验均值pC,不额外bootstrap。训练启发式不是更优后验估计保证,不能直接移到推理阶段。

教学例子:训练时低置信反馈被减弱,不代表推理时也把同样的概率质量再次打折。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

LangDiT 校准 aψ 为什么既要初始化为1,又限制到[0.5,2]?

Designing Transformers for Continuous Diffusion Language Models

问答新增:2026-10-27 · Dots Studio, Xiaohongshu

展开答案与例子

答案:初始化为1保留初始shortcut尺度,有界指数校准避免无约束放大或缩小;文档还保留前5000步warmup。实现应检查实际范围与梯度路径,不能换成无界任意系数后称相同配置。

教学例子:校准网络输出很大时仍须被clip限制,而不是令shortcut压过整个词表head。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

SemiCat 为什么把一部分 token 提前 reveal 成干净 one-hot?

On the Design Space of Continuous Diffusion Language Models

问答新增:2026-10-27 · University of Oxford / Apple(在 Apple 期间完成)

展开答案与例子

答案:高维高斯噪声范数较大,而one-hot信号范数为1,token身份可能难辨。随机reveal让部分位置成为稳定离散锚点并永久保留,训练只监督尚未reveal的位置。

教学例子:已确认的词保持干净可见,剩余位置继续去噪,不再把确认词重新加噪。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

DoubleCat的双层插值与SemiCat的永久reveal,为什么是两个不同的修正?

On the Design Space of Continuous Diffusion Language Models

问答新增:2026-10-27 · University of Oxford / Apple(在 Apple 期间完成)

展开答案与例子

答案:双层插值把训练分布移向更接近推理的单纯形内部,缓解低熵端点错配;永久揭示则让已确定词元成为干净信号,不再被高维噪声淹没。后者只监督未揭示位置并保持已揭示结果,条件揭示概率需随剩余时间调整,两者也不默认增加自条件前向。

教学例子:例如一句话里已确定的主语可永久保留,其他位置继续去噪;训练输入中模拟有熵概率结构,则是在解决另一种轨迹分布差异。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

DoubleCat 双层插值是否等于训练时多跑一次 denoiser 做 self-conditioning?

On the Design Space of Continuous Diffusion Language Models

问答新增:2026-10-27 · University of Oxford / Apple(在 Apple 期间完成)

展开答案与例子

答案:不是。双层插值本身不调用denoiser来构造输入,SemiCat也不要求额外SC前向。标准bootstrap SC是可另开消融,开启时额外调用必须计入,不能把它混进默认同预算结果。

教学例子:一次优化默认只做一次真实模型前向,不能隐藏第二次bootstrap调用的成本。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

SemiCat 最后一步 hazard 为1与永久 carry-over,应如何一起检查?

On the Design Space of Continuous Diffusion Language Models

问答新增:2026-10-27 · University of Oxford / Apple(在 Apple 期间完成)

展开答案与例子

答案:最后一步要保证所有剩余位置reveal;已经reveal的位置输入与输出始终保留。连续Euler使用未温调概率,categorical commit才用温度,三处规则不能互换。

教学例子:某词第2步已reveal,第3步不得因新采样又改成另一词。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

Data-Space Iteration 反复更新的是数据预测,还是噪声时间轨迹?

Few-Step Generation via Data-Space Iteration

问答新增:2026-10-27 · ByteDance Seed

展开答案与例子

答案:它固定同一份原始噪声,用共享网络逐次改进数据预测;迭代编号表示refinement而非flow time。训练仍有用于DMD的加噪时间τ,不能把这两个变量混为一项。

教学例子:第3次精炼不意味着一定走到噪声日程的t=3,而是对同一噪声的预测再改一次。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

Data-Space Iteration为什么固定同一噪声反复改进预测,而不把迭代编号当flow时间?

Few-Step Generation via Data-Space Iteration

问答新增:2026-10-27 · ByteDance Seed

展开答案与例子

答案:共享生成器在数据空间逐步修正同一预测,编号表示细化轮次,原始噪声保持不变。训练仍用真实教师与拟合生成分布的假模型给出DMD方向,前缀无梯度,仅当前细化更新;不是每轮直接回归真实图片。本地微型实验不能替代原文大规模图像指标。

教学例子:例如从同一个噪声起点先画轮廓再修细节,后一步利用前一步预测;若每轮换噪声或随意当作新的扩散时间,就改变了迭代机制。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

Data-space generator 直接回归真实图片,与文档中的 DMD 训练等价吗?

Few-Step Generation via Data-Space Iteration

问答新增:2026-10-27 · ByteDance Seed

展开答案与例子

答案:不等价。DMD由真实冻结teacher与拟合生成分布的fake给出方向,generator利用这条分布匹配信号;直接以真实图片作每步回归target会替换定义性训练链路。

教学例子:生成样本上的teacher−fake方向,不是给每个随机噪声预先配一张真实图片。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

一次 refinement 更新中,prefix、fake 和 generator 的梯度边界如何区分?

Few-Step Generation via Data-Space Iteration

问答新增:2026-10-27 · ByteDance Seed

展开答案与例子

答案:前缀rollout不建梯度图,仅优化当前最后一步;fake训练使用detach的生成样本,generator训练时teacher/fake不积累梯度,方向stop-gradient。把全部步骤连起来反传是另一种训练配置。

教学例子:第4步更新generator时,不能顺手把前3步和冻结teacher都当成可训练路径。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

PUMBA 为什么使用模型自己的 progressive-unmasking 训练轨迹?

On Trajectory-Aware Training for Masked Diffusion Language Models

问答新增:2026-10-27 · Apple

展开答案与例子

答案:独立随机噪声样本不一定覆盖模型实际多步去噪会遇到的状态。沿自身轨迹展开并传递carry,使训练面对连续决策及前一步为后一步留下的表示。

教学例子:前一步揭示了某些词后,下一步看到的状态由模型自己决定,而非重新随机造一份无关噪声。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

PUMBA为什么要让梯度穿过多个去噪步骤的carry,而不把每步当独立训练样本?

On Trajectory-Aware Training for Masked Diffusion Language Models

问答新增:2026-10-27 · Apple

展开答案与例子

答案:隐藏carry会影响后续去噪,独立训练只要求当前步预测好,未必鼓励它留下对下一步有用的状态。沿模型自身逐步揭示轨迹展开,在固定窗口内反传,可让早期carry承担后续损失;窗口间仍截断,以限制成本。本地未训练完整扩散语言模型。

教学例子:例如前一步留下某种实体约束,后一步据此填空,后一步误差应能指导前一步如何编码约束;每步都detach会丢掉这种关系。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

trajectory-aware carry 训练与把每一步单独当样本,优化的依赖有何不同?

On Trajectory-Aware Training for Masked Diffusion Language Models

问答新增:2026-10-27 · Apple

展开答案与例子

答案:独立训练切断前后carry关系;窗口内BPTT让后续loss影响前一步产生的carry。它需要真实连续展开,不能只把多个独立CE相加就声称已学习跨步信息传递。

教学例子:第2步loss应能影响第1步留下的carry,而非只更新第2步局部计算。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

PUMBA 应在每步还是窗口边界 detach carry?

On Trajectory-Aware Training for Masked Diffusion Language Models

问答新增:2026-10-27 · Apple

展开答案与例子

答案:文档梯度在固定窗口内穿过carry,窗口间截断。每步detach会删除关键跨步梯度,完全不截断又改变内存与训练配置;当前本地reference未训练LLaDA-8B。

教学例子:窗口长度3时,第3步可反传到本窗前两步,但不继续穿过上一窗口。

依据:核心公式、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

TADM 为什么让昂贵 anchor network 不必每个扩散步都运行?

Time-Anchored Diffusion Language Models: Latent-Space Caching for Fast Generation

问答新增:2026-10-27 · The University of Texas at Austin

展开答案与例子

答案:相邻反向扩散步可复用部分潜表示。方法周期性刷新anchor,在间隔步用轻量fusion结合当前状态修正缓存,再交给较轻denoiser,以复用昂贵计算。

教学例子:连续几步共用一次anchor结果,但每步仍根据当前状态形成不同修正。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

TADM周期缓存anchor后,为什么还需要依当前扩散状态进行门控修正?

Time-Anchored Diffusion Language Models: Latent-Space Caching for Fast Generation

问答新增:2026-10-27 · The University of Texas at Austin

展开答案与例子

答案:跨多个反向步复用昂贵潜表示可减少主网络调用,但当前状态不断变化,旧anchor会陈旧。轻量融合模块用当前条件预测修正并门控,再交给较小去噪器,平衡复用与适配。门控不能保证陈旧信息完全恢复,本地修正核未运行完整大模型生成评测。

教学例子:例如早期缓存只表达粗略句子结构,后续已确定更多词元,融合模块据新状态修正旧表示;一直原样复用可能忽略这些新约束。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

TADM 的门控陈旧缓存修正,与直接原样复用 h_t′ 有什么差别?

Time-Anchored Diffusion Language Models: Latent-Space Caching for Fast Generation

问答新增:2026-10-27 · The University of Texas at Austin

展开答案与例子

答案:原样复用忽略当前扩散状态变化;门控修正根据c_t与旧anchor产生增量,允许调整过期信息。它仍可能需要刷新,不能把fusion当作无误差替代所有anchor前向。

教学例子:去噪状态已明显变化时,旧表示可被修正,而不是一直当作刚算出的新表示。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

TADM 的 g 与 Δ 两个输出,怎样用边界检查避免写成另一个融合?

Time-Anchored Diffusion Language Models: Latent-Space Caching for Fast Generation

问答新增:2026-10-27 · The University of Texas at Austin

展开答案与例子

答案:文档是h_t′+g⊙Δ:g=0回到旧anchor,Δ=0也回到旧anchor。若把g乘整个h_t′或删除残差就改变公式;本地仅执行cache correction,没有加载DiffusionGemma-26B。

教学例子:将gate全置0时,输出不应变成全零表示。

依据:核心公式、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

dQwen3.5 为什么把混合骨干改造成双向扩散语言模型?

dQwen3.5: Adapting Hybrid Language Models into Bidirectional Diffusion Language Models

问答新增:2026-10-27 · University of Texas at Austin

展开答案与例子

答案:masked denoising需要利用可见上下文的两侧信息,不再只做从左到右next-token预测。对attention/RNN混合骨干,这涉及双向状态传播及训练目标,而非一个attention开关。

教学例子:中间词被遮住时,模型可利用左右两边已知文字恢复它。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

dQwen3.5把混合骨干改成双向传播,为什么不只是把注意力的因果mask去掉?

dQwen3.5: Adapting Hybrid Language Models into Bidirectional Diffusion Language Models

问答新增:2026-10-27 · University of Texas at Austin

展开答案与例子

答案:混合骨干还包含递归状态,若只有注意力能看双向,递归分支仍可能保留单向信息约束。双向状态传播配合掩码去噪,才适应同时恢复多个位置的扩散任务。传播核可执行不表示检查点已经完成适配,本地未加载完整模型或复现预训练损失曲线。

教学例子:例如句首空位需要句末线索,注意力分支看到了后文,而单向递归分支仍读不到;只改一个mask无法让两条路径都拥有相同信息。

依据:背景与主要改动、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

双向 masked denoising 与自回归 next-token 训练,输入可见性有什么差异?

dQwen3.5: Adapting Hybrid Language Models into Bidirectional Diffusion Language Models

问答新增:2026-10-27 · University of Texas at Austin

展开答案与例子

答案:自回归预测受前缀因果约束;双向去噪可根据当前可见的左右上下文预测masked位置。改变目标后还需适配混合状态路径,不能借用AR解码缓存假设直接宣称等价。

教学例子:预测句子中间空缺时,后面的已知词是可用线索,而AR下一词预测不能读未来。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

测试混合骨干双向化时,为什么要同时检查 attention 与 recurrent 分支?

dQwen3.5: Adapting Hybrid Language Models into Bidirectional Diffusion Language Models

问答新增:2026-10-27 · University of Texas at Austin

展开答案与例子

答案:只移除attention因果mask,RNN分支仍可能保持单向状态,未完成文档中的双向混合传播。本地CUDA kernel仅证明组件路径运行,未加载9B checkpoint或复现完整去噪训练曲线。

教学例子:右侧可见信息若只进入一条分支,不能把另一条仍单向的分支当成已双向改造。

依据:背景与主要改动、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

ASPIRE 为什么把草稿长度选择放到每个请求上?

ASPIRE: Asynchronous Batch Self-Speculative Decoding

问答新增:2026-10-27 · University of Southern California

展开答案与例子

答案:同一batch请求的接受率和剩余情况不同,统一草稿长度容易让简单或困难请求互相拖累。方法用在线接受率与当前batch成本分别决策,并周期性refresh校正自推测状态。

教学例子:一条请求经常接受长草稿,另一条经常拒绝,两者不必始终写同样多draft。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

ASPIRE为什么让同一batch内的请求独立选择草稿长度,而不是统一一个长度?

ASPIRE: Asynchronous Batch Self-Speculative Decoding

问答新增:2026-10-27 · University of Southern California

展开答案与例子

答案:不同请求的接受率和剩余状态不同,统一长度会让低接受率请求浪费验证或让高接受率请求错失收益。调度还需结合当前批成本,而非只追求最长草稿;周期全注意力刷新用于纠正自投机状态。本地只验证调度和刷新门控,没有改造完整推理引擎。

教学例子:例如一个请求连续接受较深草稿,另一个常在首词拒绝,可给它们不同长度;但批处理开销也会改变选择,不能只按单请求接受率算。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

按请求独立选择 draft 长度,与完全忽略 batch 的单请求贪心相同吗?

ASPIRE: Asynchronous Batch Self-Speculative Decoding

问答新增:2026-10-27 · University of Southern California

展开答案与例子

答案:不同。文档明确同时依据当前batch成本,独立决策仍处于共享执行环境;单看本请求接受率可能忽略批处理资源和同步代价。异步批自推测并非把若干单请求策略直接并排。

教学例子:某请求多写几步虽提高自身接受数,却可能增加整个batch的验证成本。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

本地 batch-aware scheduler 与 refresh gate,已经等于真实 vLLM serving 改造吗?

ASPIRE: Asynchronous Batch Self-Speculative Decoding

问答新增:2026-10-27 · University of Southern California

展开答案与例子

答案:没有。需额外验证实际请求调度、缓存状态、refresh执行和端到端时间。文档只执行对应reference,未改vLLM服务引擎,不能用计划中的草稿长度直接报告部署吞吐。

教学例子:记录“本请求draft=8”并不证明服务系统已按该长度异步运行并正确交接KV。

依据:复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

ECHO 为什么让早层频繁探索、末层较少次数权威校验?

ECHO: Early-layer Collaborative Hierarchical Orchestration with Bonus Logits in Speculative Decoding

问答新增:2026-10-27 · Wuhan University

展开答案与例子

答案:早层提案较便宜,末层提供目标模型的可靠校验;双循环与bonus logits用于协同补候选树,希望减少等待和重复工作,同时保留最终采样校正。

教学例子:轻量路径先扩展候选,完整深度集中验证有希望的分支。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

ECHO用早层探索和末层校验,为什么bonus logits不能直接当最终采样分布?

ECHO: Early-layer Collaborative Hierarchical Orchestration with Bonus Logits in Speculative Decoding

问答新增:2026-10-27 · Wuhan University

展开答案与例子

答案:早层高频提出候选,末层较低频进行权威验证,两侧额外分数用于协同补充候选树,提高有效提议覆盖。探索分布可以不同于目标分布,最终仍需精确拒绝采样校正。省略校正会改变输出分布,本地候选合并与张量路径也不能证明论文吞吐。

教学例子:例如早层补出一条末层原树未包含的分支,可以拿来验证;不能因它扩展了候选就直接接受,否则把草稿偏好混成了目标答案。

依据:背景与主要改动、核心公式与实现对应;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

ECHO 的候选探索分数与最终目标采样分布,为什么要分开?

ECHO: Early-layer Collaborative Hierarchical Orchestration with Bonus Logits in Speculative Decoding

问答新增:2026-10-27 · Wuhan University

展开答案与例子

答案:bonus logits服务提案与树扩展,不能自动等同完整目标分布;精确拒绝采样校正才维护目标口径。若直接从bonus分布输出,就改变了希望保持的采样行为。

教学例子:某候选因探索奖励被优先尝试,不意味着最终被接受的概率也应额外增加。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

ECHO 的候选合并通过与真实 CUDA 吞吐提升,验收对象有何不同?

ECHO: Early-layer Collaborative Hierarchical Orchestration with Bonus Logits in Speculative Decoding

问答新增:2026-10-27 · Wuhan University

展开答案与例子

答案:本地reference检查候选合并和lossless校正,A100回执只确认tensor路径。实际加速还需真实早/末层调度、缓存与时间测量,不能把机制三种子直接写成论文服务吞吐。

教学例子:校正后候选分布正确,不代表探索与验证在GPU上已经按理想流水线重叠。

依据:本地复现、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

LoopSpec 的自推测为什么适合重复共享块的模型?

LoopSpec: Pipelined Self-Speculative Decoding for Looped Transformers

问答新增:2026-10-27 · Seoul National University / KAIST

展开答案与例子

答案:循环深度中间就能给出较浅预测,可用作草稿而不必先训练完全独立drafter。后续更完整循环提供验证,流水线残差提案用于减少验证等待。

教学例子:同一模型较少循环的结果先提出候选,更多循环的路径再校验。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

LoopSpec为什么利用循环深度的中间预测,而不必另训练一个完全独立草稿模型?

LoopSpec: Pipelined Self-Speculative Decoding for Looped Transformers

问答新增:2026-10-27 · Seoul National University / KAIST

展开答案与例子

答案:循环Transformer不同深度的状态可形成便宜的早期预测,再用更深计算验证;流水线残差提案试图把等待时间与后续工作重叠。中间预测只是提议,不自动拥有深层质量,真实收益取决于接受与调度开销。本地深度调度参考核没有证明GPU端到端吞吐。

教学例子:例如同一模型浅循环先提议下一段,深循环随后核验;若提议常被拒绝,虽然省了独立草稿模型,也可能无法抵消流水线成本。

依据:背景与主要改动、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

LoopSpec 与独立小草稿模型的 speculative decoding,多复用了什么?

LoopSpec: Pipelined Self-Speculative Decoding for Looped Transformers

问答新增:2026-10-27 · Seoul National University / KAIST

展开答案与例子

答案:它复用循环模型的中间深度预测与共享结构;独立drafter有另一套参数和运行路径。是否更快仍依赖提案质量、验证成本与实际调度,不能仅因少维护一个模型就断言加速。

教学例子:省去独立drafter权重,不代表每个候选都能被深层验证接受。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

只实现 depth scheduler,是否已经实现 LoopSpec 的真实 GPU 流水线?

LoopSpec: Pipelined Self-Speculative Decoding for Looped Transformers

问答新增:2026-10-27 · Seoul National University / KAIST

展开答案与例子

答案:没有。调度reference只能核验深度与提案状态转换,还需真实执行重叠、缓存交接及正确验证。文档明确没有论文GPU吞吐声明,不能由计划中的并行时间线推导测量结果。

教学例子:日志写“提案与验证重叠”,不等于两项GPU工作实际并发且没有同步瓶颈。

依据:本地复现、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

固定数量 register tokens 为什么能作为扩散模型跨 chunk 的记忆接口?

Register Tokens for Bounded-State Reasoning in Diffusion Language Models

问答新增:2026-10-27 · University of Wisconsin–Madison

展开答案与例子

答案:连续hidden states把前一块信息带到下一块,即使原文本被清除也能保留部分影响。固定数量让状态容量有界,同时也形成信息瓶颈,不能保证保存全部旧证据。

教学例子:下一段只接收到几个连续寄存向量,而不是上一段完整文字。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

扩散模型清除上一段文本后只带固定register,为什么仍可能跨段推理又受信息瓶颈限制?

Register Tokens for Bounded-State Reasoning in Diffusion Language Models

问答新增:2026-10-27 · University of Wisconsin–Madison

展开答案与例子

答案:连续register隐藏状态保存上一段提炼的信息,以固定大小传给下一段,避免上下文随段数无限增长。保留的是压缩状态而非完整文字历史,重要细节能否被编码并长期维持需要训练与评测。状态大小有界不等于推理记忆无损,本地未加载完整扩散检查点。

教学例子:例如上一段确定人物关系后把摘要状态传入下一段,原句已删除;若某个姓名未进入register,后文无法凭固定状态保证精确恢复。

依据:背景与主要改动、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

register carry 与直接保留全部旧文本或 KV,记忆对象有什么不同?

Register Tokens for Bounded-State Reasoning in Diffusion Language Models

问答新增:2026-10-27 · University of Wisconsin–Madison

展开答案与例子

答案:carry保留固定容量连续摘要,完整文本/KV保留更细粒度历史并随长度增长。前者控制状态规模,后者提供更直接的位置访问;不能把固定register当成无损压缩。

教学例子:两百页内容最终只传八个向量,其容量不会随页数增加而自动扩大。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

验证 bounded register carry 时,怎样防止上一块文本被旁路保留?

Register Tokens for Bounded-State Reasoning in Diffusion Language Models

问答新增:2026-10-27 · University of Wisconsin–Madison

展开答案与例子

答案:需核对下一块输入确实只携带约定数量的register状态,清除旧文本及未声明缓存,并检查跨块状态更新。当前本地只执行bounded continuous carry,未加载LLaDA/Dream或训练diffu-GRPO。

教学例子:寄存器数虽固定,但若后台仍把旧文本拼到下一块输入,就不满足有界状态合同。

依据:背景与主要改动、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

并行草稿中,每个位置边际上合理,为什么整段仍可能不协调?

DBLast: Dependent Block Drafting for Stochastic Speculative Decoding

问答新增:2026-10-27 · Huawei Technologies Canada

展开答案与例子

答案:独立生成各位置会忽略它们之间的联合依赖。DBLast针对并行块的这个问题,用共享latent让位置在条件独立之外仍通过共同变量关联;不能只看单位置概率判断整段质量。

教学例子:颜色与物体分别看都常见,独立拼接却可能形成不协调组合,共享选择可让它们保持一致。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

DBLast共享latent为什么能弥补并行草稿各位置独立采样的缺陷?

DBLast: Dependent Block Drafting for Stochastic Speculative Decoding

问答新增:2026-10-27 · Huawei Technologies Canada

展开答案与例子

答案:各位置在给定隐变量后可以并行,但共享隐变量使边缘联合分布带有跨位置依赖,避免把互相矛盾的高概率词元简单拼接。训练面向期望验证长度,而不只追求单位置命中率。混合结构仍需目标验证器确认,本地机制可执行不等于原文服务速度已复现。

教学例子:例如后续短语需要共同选择单数或复数,共享隐变量能协调多个位置;若各自独立挑最高概率词,可能拼出不一致的语法。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

共享 latent mixture 与完全独立 unigram proposal,联合概率有什么不同?

DBLast: Dependent Block Drafting for Stochastic Speculative Decoding

问答新增:2026-10-27 · Huawei Technologies Canada

展开答案与例子

答案:独立proposal直接把各位置边缘概率相乘;DBLast先在同一个z下取乘积再对z积分,可表达位置相关性。两者单位置频率接近,也不意味着块级联合分布相同。

教学例子:每个位置都一半选A一半选B,仍可分别形成“总是AA/BB”或任意混合两种联合模式。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

DBLast 的验收为什么要看精确 speculative acceptance,而不只看逐位置命中率?

DBLast: Dependent Block Drafting for Stochastic Speculative Decoding

问答新增:2026-10-27 · Huawei Technologies Canada

展开答案与例子

答案:部署收益依赖可连续接受的长度与联合提案质量;逐位置单独正确不保证整块连续通过。文档本地使用Markov target和rank-4 proposal做机制对照,不是实际大模型服务吞吐。

教学例子:第一和第三位常猜对,但第二位总错,连续接受长度仍可能很短。

依据:背景与主要改动、本地复现;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

Windowed-MTP 为什么只缩小 draft 的历史读取范围?

Windowed-MTP: Removing the Full-Context Draft-KV Tax at Million-Token Context

问答新增:2026-10-27 · NVIDIA

展开答案与例子

答案:长上下文下草稿每步读完整KV也可能成为瓶颈。方法为draft保留sink和近期窗口,而target仍看完整历史并验证,主要改变提案成本与接受率,保留target作为最终依据。

教学例子:草稿只读开头几项和最近64项,校验器仍能读取整段16K历史。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

Windowed-MTP只缩小draft窗口,为什么能省读取又不直接改变target输出分布?

Windowed-MTP: Removing the Full-Context Draft-KV Tax at Million-Token Context

问答新增:2026-10-27 · NVIDIA

展开答案与例子

答案:草稿只读起始保留项与近期窗口,降低其上下文读取开销;目标验证器仍读完整历史并校正所有提议。窗口改变提议质量、接受率及速度,不应改变精确验证定义的目标分布。若连验证器也截窗则条件改变,本地延迟也不能外推到原文生产硬件。

教学例子:例如旧历史线索被草稿忽略导致猜错,完整目标仍可拒绝并纠正;为了再省一点内存把目标历史也删掉,就失去原分布保证。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

draft key 数大幅减少,为什么 TPOT 不会自动按同一比例下降?

Windowed-MTP: Removing the Full-Context Draft-KV Tax at Million-Token Context

问答新增:2026-10-27 · NVIDIA

展开答案与例子

答案:每步仍有target验证与draft前向,最终每token耗时还要除以接受长度AL。窗口可能降低接受率,因此读取节省、单次draft时间和端到端TPOT必须分开比较。

教学例子:一次验证便宜了,但每次只接受更少token,部分节省会被抵消。

依据:核心公式、本地复现;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

短序列中 sink 与 recent 重叠时,Windowed-MTP 应复制这些 KV 吗?

Windowed-MTP: Removing the Full-Context Draft-KV Tax at Million-Token Context

问答新增:2026-10-27 · NVIDIA

展开答案与例子

答案:key集合是两区间的并集,重叠位置不应重复计入attention;还需保证只改draft索引,target仍读完整cache。若同时裁target,就失去原文的完整上下文验证条件。

教学例子:第5个位置同时属于sink和recent,也只应在draft读取集合中出现一次。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

R4T 为什么先得到集合级对齐目标,再训练快速检索器?

Efficient, Property-Aligned Fan-Out Retrieval via RL-Compiled Diffusion

问答新增:2026-10-27 · University of Illinois Urbana-Champaign / Google Research

展开答案与例子

答案:多项结果的整体属性不一定能由单项得分保证。方法先以集合级复合奖励得到对齐目标,再将它编译进扩散式fan-out检索器,尝试用较少在线步骤生成多项结果。

教学例子:一组结果既要相关又要覆盖不同内容,不能只让每项各自重复最高分内容。

依据:背景与主要改动;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

R4T为什么先对检索集合整体对齐,再把结果编译进扩散式fan-out检索器?

Efficient, Property-Aligned Fan-Out Retrieval via RL-Compiled Diffusion

问答新增:2026-10-27 · University of Illinois Urbana-Champaign / Google Research

展开答案与例子

答案:多路检索的价值不只由每条结果单独相关决定,还取决于集合覆盖与多样性。集合级复合奖励先定义这些取舍,再通过训练让单次扩散检索接近对齐目标,减少在线优化负担。奖励设计可能偏移真实需求,本地只有集合目标核,没有训练完整扩散检索器。

教学例子:例如三条都高度相关却重复同一证据,可能不如覆盖不同要点的结果组;不能只把单条相关分数分别提高,就称为集合多样性优化。

依据:背景与主要改动、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

集合级 alignment/diversity 目标,与逐项独立排序的目标有什么差别?

Efficient, Property-Aligned Fan-Out Retrieval via RL-Compiled Diffusion

问答新增:2026-10-27 · University of Illinois Urbana-Champaign / Google Research

展开答案与例子

答案:集合目标考虑结果之间的关系与整体属性;逐项分数相加可能忽略重复和覆盖交互。编译后的检索器也需要单独训练与验证,目标函数可执行不等于已得到同样的在线检索能力。

教学例子:三条内容各自都很相关,但几乎重复时,集合多样性仍可能很差。

依据:背景与主要改动、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

本地 R4T 组件已经包含 53.9M 参数扩散检索器训练吗?

Efficient, Property-Aligned Fan-Out Retrieval via RL-Compiled Diffusion

问答新增:2026-10-27 · University of Illinois Urbana-Champaign / Google Research

展开答案与例子

答案:没有。文档只执行alignment/diversity集合目标,完整扩散检索器未训练。复用时需明确接口提供的是集合评分还是生成候选,不能把一个reward函数当作已完成的fan-out模型。

教学例子:能够给已有候选集合打分,不代表模块自己能从查询生成检索结果。

依据:本地复现、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

Medusa 为什么给同一个 hidden state 增加多个 future-token head?

Medusa: Simple LLM Inference Acceleration Framework with Multiple Decoding Heads

问答新增:2026-10-27 · Together AI / Princeton University / University of Illinois Urbana-Champaign

展开答案与例子

答案:多个head分别预测不同未来偏移,能一次产生较多候选,再通过候选树验证减少串行生成调用。它增加的是未来候选提案,不是取消backbone对最终内容的验证。

教学例子:从h_t同时提出t+1、t+2等位置的备选,而非每个位置都先独立运行完整backbone。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

Medusa的多个future-token head为什么需要候选树验证,而不能各自取最高概率后直接拼接?

Medusa: Simple LLM Inference Acceleration Framework with Multiple Decoding Heads

问答新增:2026-10-27 · Together AI / Princeton University / University of Illinois Urbana-Champaign

展开答案与例子

答案:各头从当前状态预测不同未来位置,预测之间未必构成一致的自回归条件链。候选树组织多种组合,主干再验证可接受分支,才可能减少串行步骤。多头训练损失本身不证明任意拼接正确,也不自动给出采样分布保证;本地小模型未复刻GPU树注意力内核。

教学例子:例如第二个头预测名词、第三个头预测动词,各自首选未必能连成句子;树验证检查组合,而不是把独立预测当作已知历史。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

Medusa 的 backbone call 次数减少,为什么不等于同百分比时延减少?

Medusa: Simple LLM Inference Acceleration Framework with Multiple Decoding Heads

问答新增:2026-10-27 · Together AI / Princeton University / University of Illinois Urbana-Champaign

展开答案与例子

答案:未来head、候选树构建和tree attention验证也有成本,实际时延还受batch、kernel与接受率影响。文档转移模型里的调用数变化是机制口径,不能直接替代真实GPU速度。

教学例子:backbone调用减半,但单次验证工作变多,端到端时间未必恰好减半。

依据:本地复现、复现边界;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

训练 Medusa 第 k 个 future head 时,监督 token 应怎样位移?

Medusa: Simple LLM Inference Acceleration Framework with Multiple Decoding Heads

问答新增:2026-10-27 · Together AI / Princeton University / University of Illinois Urbana-Champaign

展开答案与例子

答案:文档p_k(x_{t+k}|h_t)对应从当前位置hidden预测未来第k个目标,需对齐序列切片与有效边界。错用同一个next-token标签给所有head,会把多偏移训练退化成重复预测同一位置。

教学例子:第2个head在h_10上对齐x_12,而不是仍对齐x_11。

依据:核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

基础理解

推测解码为什么能用小 draft 帮大 target 减少串行调用?

Fast Inference from Transformers via Speculative Decoding

问答新增:2026-10-27 · Google Research

展开答案与例子

答案:廉价draft先提出一段候选,target集中验证这些位置,接受连续正确部分后继续。节省来自提案和并行验证的组织,最终分布仍需精确接受/拒绝校正,不能把草稿直接当答案。

教学例子:一次target验证可确认多个候选,而不是每个输出token都单独调用一次target。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

核心机制

推测解码拒绝草稿时,为什么要从正残差分布采样,而不能直接重采一次目标分布?

Fast Inference from Transformers via Speculative Decoding

问答新增:2026-10-27 · Google Research

展开答案与例子

答案:草稿按目标与提议概率比接受,接受部分已经贡献了部分目标概率质量。拒绝后从目标减去提议的正残差归一化采样,才能补足剩余质量;直接重采目标会重复计入已接受部分,改变最终分布。本地小型词转移模型验证流程,不等于大模型内核延迟。

教学例子:例如草稿过度偏好某个词,拒绝事件应补偿它欠覆盖的其他词;若拒绝后仍按原目标重采,就没有正确扣除先前接受的质量。

依据:背景与主要改动、核心公式;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

方法对比

精确随机推测解码与“草稿和 target 贪心一致就接收”,保证范围相同吗?

Fast Inference from Transformers via Speculative Decoding

问答新增:2026-10-27 · Google Research

展开答案与例子

答案:贪心一致只涉及确定性最高分路径;随机采样要保持完整target分布,需要按p/q接受并在拒绝时校正残差。不能用一条贪心序列相同证明所有温度下采样分布一致。

教学例子:两个模型最高概率词相同,第二、第三候选的概率仍可能相差很大。

依据:核心公式、本地复现;例子用于解释机制。

基础模型 / 生成路径:草稿验证、并行去噪与少步迭代

实现细节

一次拒绝后,为什么不能继续无条件提交同块后面的 draft token?

Fast Inference from Transformers via Speculative Decoding

问答新增:2026-10-27 · Google Research

展开答案与例子

答案:后续草稿建立在被拒绝的前缀上,目标校正后条件已变化,应按验证协议丢弃未接受后缀并从正确前缀继续。文档本地Markov LM调用数也不等于T5-XXL真实kernel时延。

教学例子:第2词被改成另一个词后,第3到5词不能仍假设第2词保持原草稿值。

依据:背景与主要改动、复现边界;例子用于解释机制。

主题导读与阅读路线

先想一个问题

如何减少逐 token 串行生成的等待,同时说清输出分布是否改变?

记住这一点

推测解码先由便宜草稿提出多个 token,再让目标模型批量验证;正确的接受概率与拒绝残差采样可保持目标分布。扩散语言模型则把生成改成多位置去噪,例如 dQwen3.5 需把含递归层的因果骨干改为双向传播。少步生成与共享网络迭代又重新安排精炼轨迹;它们改变的不是同一个层面。

一个例子

草稿一次提四个 token,如果目标只接受前两个,后面需要校正和继续生成;加速取决于接受率和验证成本。扩散模型可以一轮更新多个位置,但可能要多轮反复去噪。应比较整段输出质量和总时延,不能只比较一次前向写出多少位置。

什么时候要小心

精确推测采样的分布保证依赖完整接受与校正算法,不自动适用于任何多头草稿。扩散或蒸馏后的新模型也不因此与原自回归目标等价。本地 Markov 草稿、参考 kernel 或调用次数不能冒充大型模型的真实加速。

先读这几篇

先读 Fast Inference 的提出、验证与校正采样,明确保证条件;再读 dQwen3.5 的双向混合骨干与并行解码,区分“重排执行”与“训练新生成机制”。随后看自草稿、缓存和少步精炼。

  1. Fast Inference from Transformers via Speculative Decoding · 原论文
  2. dQwen3.5: Adapting Hybrid Language Models into Bidirectional Diffusion Language Models · 原论文

自测一下

“推测解码不改变分布”能否直接用来描述把 AR 骨干改成扩散模型?

展开参考答案

不能。前者在既定目标分布下用接受/拒绝校正重排执行;后者改变模型传播方式、训练目标与解码过程。它需要独立质量评估,不能继承前者的等价采样保证。

跨主题搜索全部问答 · 最近新增