在数学上把希罕注重力做对!腾讯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" 的样子。。。。。
文章点评
未盘问到任何数据!
揭晓谈论
◎接待加入讨论,,,,,,请在这里揭晓您的看法、交流您的看法。。。。。