凯时AG

泉源:加拿大主帅称球员重伤:听到骨裂声作者: 林静如:

在数学上把希罕注重力做对!腾讯Hy开源HiLS-Attention: 盘算更少效果更好, 外推512倍

让大模子 "读得更长" 一直是 Agent、深度推理和海量资料整合等场景的刚需,,,但标准全注重力机制的盘算量随序列长度呈平方级增添,,,始终是横亘在长上下文建模眼前的三座大山。。。。。。

本周,,,腾讯混元团队正式开源 HiLS-Attention(分层地标希罕注重力),,,提出了一种全新的分块希罕注重力范式,,,首次在数学层面上同时解决了 chunk 主要性预计的 "表达力缺乏" 和选择历程的 "端到端不可导" 两大基础难题,,,真正将希罕注重力做到了 "Done Right"。。。。。。

在 345M 至 7B 参数规模上的系统验证显示:HiLS-Attention 在随笔本场景下语言建模疑心度(PPL)与全注重力险些重合,,,在 8K 训练条件下可实现 4M 上下文(512 倍)免训外推,,,512K 上下文下的 prefill 与单步 decode 划分加速 13.5 倍和 15.7 倍。。。。。。

更主要的是,,,该要领在部分长上下文检索使命上反超了全注重力自己 —— 效率与效果的 "二选一" 逆境被首次同时突破。。。。。。相关论文与代码已在 GitHub 上果真。。。。。。

论文问题:Hierarchical Sparse Attention Done Right: Toward Infinite Context Modeling论文链接:https://arxiv.org/pdf/2607.02980代码链接:https://github.com/Tencent-Hunyuan/HiLS-Attention

一、长上下文的老浩劫:

全注重力扛不动,,,希罕注重力又 "禁绝"

让大模子读得更长,,,险些是今天所有 Agent、深度推理、海量资料整合使命的刚需。。。。。。

但 "读得长" 对标准的全注重力(Full Attention)来说,,,一直是三座大山:

盘算量是平方级的:序列翻倍,,,算力翻四倍;;长度外推差:训练 8K,,,测试 32K 就最先崩;;KV Cache 随长度线性膨胀,,,显存很快吃不必。。。。。。

于是各人把眼光投向分块希罕注重力(Chunk-wise Sparse Attention):把上下文切成一个个 chunk,,,每个 query 只挑最相关的 Top-K 个 chunk去算注重力,,,多余的 kv cache 卸载到 cpu memory, 盘算和显存开销都被控制在常数,,,看起来思绪很是优美。。。。。。

但现实是:迄今为止,,,没有任何一种分块希罕注重力能真正追平全注重力。。。。。。

图:最直接的证据 —— 即便让 345M 模子在 RULER 使命上训练,,,现有分块希罕注重力依然打不满全注重力。。。。。。

问题的根子在哪?????——chunk 选禁绝。。。。。。

二、现有要领为什么会 "选错 chunk"?????

mean /max logits 的先天缺陷

要选对 chunk,,,条件是能准确预计每个 chunk 的 "主要性"。。。。。。

图:从最质朴的 block sparse attention 出发 —— 一个 chunk 的主要性,,,就是它内部所有 token 注重力质量的总和

基于上图,,,形式上有:

按 Zc 从大到小取 Top-K,,,选出来的就是和全注重力完全一致的准确排序。。。。。。问题在于:想准确算出 Zc,,,就得把 query 和 chunk 里每一个 token 都点积一遍 —— 这即是又把全注重力算了一遍,,,希罕的意义荡然无存。。。。。。

现有要领是怎么造的?????最主流的是均值池化(mean pooling):直接把 chunk 内所有 key 求平均当摘要 key。。。。。。稍作推导就会发明,,,它算出来的分数着实就是 token logit 的均值

NSA、InfLLM v2、MoBA 等都属此类;;另一类要领(如 MiniMax 希罕注重力)则改用max logits来近似。。。。。。

也就是说:

mean logits 只在 "chunk 内注重力匀称漫衍" 时才准;;max logits 只在 "单个 token 独吞注重力" 时才准。。。。。。

可真实场景里,,,logit 漫衍随 query随 head随数据强烈转变,,,基础不会乖乖落在某一种极端。。。。。。效果就是:无论用 mean 照旧 max,,,都是在用一个只在极端情形才建设的署理去硬凑 LogSumExp,,,从而系统性地错估 chunk 主要性,,,打乱 chunk 排序,,,让真正要害的 chunk 落选

这一点在实验里看得很清晰:在最简朴的单针大海捞针使命上,,,用均值池化的 NSA / DashAttention / InfLLM v2 在 8K 域内就已经显着掉点—— 由于大海捞针恰恰是 "少数针 token 独吞注重力" 的高度集中漫衍,,,而均值池化会把这种尖峰稀释掉

三、想用 "参数化 summary" 救场。。。。?????

先过端到端反传这一关

既然非参数化的 mean/max 表达力不敷,,,那很自然的想法是:给每个 chunk 学一个参数化的 summary,,,让它更有表达力地概括整块内容。。。。。。

听起来对,,,但这里藏着一个被险些所有现有要领忽略的致命断点

现有要领即便用了参数化 summary,,,也只拿它来打分选 Top-K。。。。。。一旦 Top-K 的 chunk ID 被 "硬选" 出来,,,summary 和打分就被扬弃了,,,不再加入后续的注重力盘算。。。。。。

这意味着什么?????

意味着语言建模(LM)loss 的梯度,,,基础传不到 summary 和选择分数上。。。。。。

Top-K 选择是一个离散不可导的操作。。。。。。打分→排序→选 ID,,,这条链路梯度无法反传到 summary,,,LM loss 无法告诉 summary:"你这次把主要的 chunk 排低了,,,下次该调高一点。。。。。。"

于是 summary 的学习酿成了 "盲训"—— 它学不会去抑制无关 chunk、抬高对展望真正有用的 chunk。。。。。。选择历程没有被端到端优化,,,再有表达力的 summary 也无济于事。。。。。。

这就引出了两个 research question:

RQ1. 数学表达能力足够的 chunk 主要性预计.

RQ2. chunk summary 必需能随着 LM loss 端到端训练.

把这两点同时做到,,,才算把希罕注重力"做对"

四、思绪:HiLS-Attention ——

把 chunk 选择酿成可微分的 "分层 softmax"

腾讯混元提出HiLS-Attention(Hierarchical Landmark Sparse Attention,,,分层地标希罕注重力)。。。。。。它的焦点,,,是把上面两个诉求拆成两个问题逐一攻破。。。。。。

RQ1:用 "一阶泰勒睁开" 结构表征能力足够的 chunk 算分函数

一个直觉的想法是对 LogSumExp 举行一阶泰勒睁开,,,视察数学性子。。。。。。研究团队发明,,,chunk 的对数主要性可以被近似成一个很是优雅的形式:

它由两部分组成:

RQ2:怎样让 chunk summary 随着 LM loss 端到端训练?????

光有好 summary 还不敷 —— 要解决谁人致命断点:让梯度真正流到 summary 上。。。。。。

HiLS 的做法是把注重力权重分层因式剖析成两级 softmax:

图:先按 summary 算每个 chunk 应该分摊几多饼,,,再由 chunk 内 token 继续分饼

chunk 内(intra-chunk)softmax:在每个被选中的 chunk 内部,,,决议 token 之间的相对权重;;

断点被买通了。。。。。。chunk 选择第一次成为了在 LM 目的下端到端可学习的历程,,,并且训练和推理全程都是真希罕(native sparse training)。。。。。。

一个反直觉的彩蛋:它不但是 "模拟" 全注重力,,,还更准

研究团队最初是想让 HiLS 去迫近 "全注重力诱导的 chunk 选择"(即质朴 BSA)。。。。。。但实验给了惊喜:

HiLS 不但追平了质朴 BSA,,,还在长上下文检索上反超了全注重力自己。。。。。。

原因可能在于压缩自己能去噪。。。。。。全注重力有个固有误差。。。。。褐灰桓 token 的 logit 不是负无限,,,它就会分到一点点注重力质量。。。。。。上下文越长,,,这些无关 token 的细小噪声越积越多,,,反而污染了检索信号。。。。。。而 HiLS 把多个 key 压缩成一个 summary key 时,,,差池齐的噪声相互抵消共享的语义信号被保存,,,于是检索反而更清洁 —— 这正是它在变量追踪(VT)这类多跳使命上能比全注重力横跨多达 50% 的泉源。。。。。。

五、实验:从 345M 到 7B,,,周全验证

345M → 1.4B → 7B三个标准上做了系统验证,,,结论高度一致:

随笔本不掉点:345M 与 1.4B 从零训练时,,,HiLS 在各上下文长度、各训练阶段的 PPL 与全注重力险些重合,,,8K 处持平甚至略低;;超长外推炸裂:仅用 8K 训练,,,外推到 4M(512 倍)仍坚持 90%+ 大海捞针准确率,,,远超全注重力;;低本钱刷新存量模子:把 OLMo3-7B 这类全注重力模子转成 HiLS,,,只要续训 50B token 即可实现切换。。。。。。短程使命不掉点,,,长序列使命 LongBench 在 in-domain 长度甚至能逾越全注重力基线,,,无缝继续 HiLS 的外推能力,,,在 out-of-domain length 显著碾压 YaRN 等种种 baseline;;推理还更快:512K 上下文下,,,prefill 快 13.5×、单步 decode 快 15.7×。。。。。。

希罕注重力恒久以来的 "效率 — 性能" 二选一逆境,,,被第一次同时突破了。。。。。。

六、写在最后

转头看这条逻辑链着实很清晰:

1. 希罕注重力的瓶颈是chunk 选错

2. 选错的泉源是mean /max logits 系统性失准

3. 想用参数化 summary 调解,,,又卡在端到端反传断点上

4.HiLS 用泰勒线性化(提出足够表达力的估分函数)+ 分层 softmax(把署理分数送进前向),,,一举解决了表达力和可微分两个问题。。。。。。

HiLS 证实晰:希罕注重力可以同时提升效率和效果。。。。。。效果提升的泉源或许源自压缩导致去噪,,,带来更纯净的检索表征。。。。。。

这,,,才是把分层希罕注重力 "Done Right" 的样子。。。。。。

@陈雅慧:官网站大发平台,,,“最强中专生”获国家手艺发明二等奖
@陈哲豪:国乒3-1法国进世乒赛决赛
@李希季:北京通州区委原书记王云峰获刑12年

【网站地图】