Latent Sparse Attention(LSA):面向超长上下文的亚二次方注意力方法
研究者提出潜在稀疏注意力(LSA,Latent Sparse Attention),在学到的潜在空间中对键分层聚类,让查询只对聚类层级打分而非逐键打分,从而在超长上下文下加速预填充、解码和训练。
研究者提出潜在稀疏注意力(LSA,Latent Sparse Attention),在学到的潜在空间中对键分层聚类,让查询只对聚类层级打分而非逐键打分,从而在超长上下文下加速预填充、解码和训练。
研究者提出 ACCT(Asymmetric Cross-大语言模型(LLM,Large Language Model) Context Transfer,非对称跨大语言模型上下文迁移),把源模型的键值缓存(KV cache,Key-Value Cache)转换为目标模型可直接使用的稀疏 KV 状态,实现同系列不同规模模型间的上下文计算复用。
研究提出 CausalWAM(CWAM),在预训练世界动作模型(WAM,World Action Model)的动作头上加一条稀疏路由路径,把“导致动作的隐变量”与“预测场景所需的隐变量”分开,世界建模目标保持不变。
研究者提出知识层模型(KLM,Knowledge Layer Model),一套开放的、不绑定具体实现的推理记录规范,用带版本的认识评估、证据关系和显式未知项记录 人工智能(AI,Artificial Intelligence) 答案的依据,Nage AI OS 的知识与证据架构 SEDIM 为参考实现,规范版本为 KLM v0.3。
研究者提出双轴记忆初始化(DAMI,Dual-Axis Memory Initialization),在训练前联合配置门控参数 A_log 与 dt_bias,为不同注意力头分配几何时间尺度、为不同层设置低-高-低输入敏感度。
一项预注册审计在 Cosmos Policy 和 RoboCasa 上检验测试时搜索的三项前提:学习型价值选择器比随机选择差 1.66 个百分点,事后最优选择仅提升 1.40 个百分点,82% 的状态下候选结果完全相同。
研究提出 Geo-FSRL(Geometry-Optimized Few-Step Reinforcement Learning),通过最小化条件 KL 散度对应的单一几何因子,在保持系数的各向同性高斯转移族中推导出唯一闭式最优策略。该方法在 4 步设置下训练图像与视频生成模型,最终奖励分数高于 Flow-GRPO 和 Flow-CPS,推理时仍保留确定性求解器。代码已公开。
ArchOR 在 OptSkills 基础上新增两个检索模块,用同一 DeepSeek-V4.1-Flash 主干和已发布技能库,在五个基准上达到 65.00% Micro-Avg. Pass@1,比 OptSkills 提升 1.64 个百分点 Micro-Avg. 和 2.68 个百分点 Macro-Avg.。
研究用Mamba型选择性状态空间模型预测零售连锁客户的偏好变化,隐藏状态为三角模糊数,并在Matveev双分量模糊数代数中计算。一个仅107参数的轻量模型在合成示例中预测中心平均绝对误差为0.154,优于恒定惯性算子的0.163和朴素预测的0.179,且模糊度不随时间累积。该模型还能通过语言化读数识别客户永久转向竞争对手。
研究者提出 Dynamical Memory Transformer(DMT),一种将序列编码与信息读取分离的混合架构:编码器用多个由复数对角循环矩阵构成的动力系统记忆单元,由输入相关的泄漏率控制更新,解码器通过注意力直接读取其输出而不经过 token 历史。
RECAST 提出一种基于重建的框架,仅凭问题和目标模型的最终答案,就能重建第一人称结构化推理过程,并清理成可直接用于监督微调(受监督微调(SFT,Supervised Fine-Tuning),Supervised Fine-Tuning)的数据。
研究者提出 ERIM 框架,让多模态大语言模型(MLLM,Multimodal Large Language Model)在上下文学习中显式归纳演示样本背后的潜在规则,而非直接做输入输出映射。该框架构建以规则为中心的数据集、引入规则归纳的显式监督,并用混合冷启动监督微调加强化学习的两阶段训练完成微调。实验显示多种多模态上下文学习设置下性能一致提升,正确归纳规则可直接带来更强更稳定的表现。
研究提出 TSBPO,一种树结构采样到更新的训练范式,在同一训练循环内解决交互式语言智能体从终端结果学习时的采样、延迟反馈分配和多 token 动作损失聚合问题。使用 Qwen2.5-1.5B 作为执行模型,在 ALFWorld 上取得 97.79% 已见任务和 96.64% 未见任务的随机成功率,在 WebShop 500 个测试目标上每回合成功率 81.07%。
一项预注册审计对基于本地大语言模型的智能体系统做了静态核查,发现其宣称的 25 个认知架构模块中有 18 个计算出的值从未到达任何生产输出。作者提出带行号证据和调用链追踪的四问静态审计协议,对 11 个模块预注册可证伪预测并执行干预,在第二个独立系统的 IIT-phi 核心上复现该协议,并做了两次修复实验作为阳性对照。
研究者提出免训练的 Verify–Backtrack Loop(VBL),在 推理与行动(ReAct,Reasoning and Acting) 基础上把前置条件发现与失败诊断变成结构化的规划状态更新,用目标栈和双视野校验触发 Push、Pop、重试或回退到父目标。
研究者提出一种神经符号的规范引导解码框架,把大语言模型(LLM,Large Language Model)生成与符号推理结合,在每一步过滤掉无法满足形式化规范的取值。该框架与模型无关、无需重新训练,前向变体在配置与约束求解基准上稳定输出符合规范的答案,并比拒绝采样减少重复推理;回溯变体进一步减少模型被迫选择自判不合适取值的情况。
研究者提出在线证据包含预测(OECP,Online Evidence-Containment Prediction),要求每个候选片段在精确验证前先做预测且最多查询一次,把片段包含关系形式化为三角二维乘积序,从而转化为差异化查询的在线等渗回归问题。
研究者提出 Ask on Demand(AOD)通信框架,让并行大语言模型智能体在出现具体信息需求时向同伴发起定向求助,由框架检索同伴执行历史中的相关证据并生成针对性回复。团队用最终任务结果与推理成本训练一个轻量门控,判断何时求助值得。在 AppWorld 和 WebShop 上,AOD 的任务表现优于独立并行执行,推理成本低于现有信息共享基线。
研究者提出长度预测系统 LEAP,复用服务模型预填充阶段的隐藏状态,通过线性读出提取输出长度信号,并在测试时用递归最小二乘法在线更新,无需梯度计算或历史数据回放。跨域迁移实验中,在线适配使 Spearman 相关系数提升 64.7%;服务实验中,相比所评估的长度预测器,LEAP 将平均每 token 延迟降低 15.9–40.8%,吞吐量提高 1.9%,预测器参数量少 30,569 倍。
研究比较了基于置信度和基于熵(UID-Conj.,结合全局熵变化与局部平滑度)的辅助轨迹偏好,能否提升小语言模型在有限监督下的自我改进与迁移。
SAT-ACT 提出一种从结果推导的学习框架,用于冲突驱动子句学习(CDCL,Conflict-Driven Clause Learning)求解器的分支决策。
研究团队构建 CivHarness 系统,可保存 Freeciv 游戏状态、在不同决策处分支并回放到未来回合,为长时程对局提供可测量的反馈。基于此训练的 大语言模型(LLM,Large Language Model) Judge 模型 CivTelescope 在“记分板陷阱”局面上的判断准确率是现成语言模型的 1.3-2.0 倍。
研究提出保结构专家剪枝框架,包含投影能量专家剪枝(PEEP,Projection Energy Expert Pruning)和分布覆盖专家剪枝(DCEP,Distributional Coverage Expert Pruning)两种方法,利用路由器权重作为先验,在保留专家间全局结构关系的同时兼顾单个专家重要性。
研究者提出 ImplicitHop 基准,包含形式化图基准和基于真实知识图谱的知识组合基准,用于评估大语言模型(LLM,Large Language Model)在不同推理深度下的演绎推理与知识整合能力。测试显示,无论知识来自预训练权重还是上下文,准确率都随组合长度增加而急剧下降,但上下文提供的信息明显优于权重中编码的信息。该结果量化了当前模型在提示词控制智能体行为和持续学习方面的根本局限。
研究者提出测试时去毒框架 TARGRS,通过在潜在表征空间学习毒性过渡的奖励引导,在 10 个大语言模型(LLM,Large Language Model)上把 RealToxicityPrompts 的毒性最高降低 69.38%。
研究提出 HiGPTQ、HiAutoRound 和 HiFlatQuant 三种校准方法,用于 HiFloat4(HiF4)这一采用三级缩放层级的分块浮点(BFP,Block Floating-Point)4-bit 量化格式。实验显示三种方法均比直接转换为 HiF4 提升推理精度,将 HiF4 与 BF16 的差距缩小至 1% 以内,并在多种模型和下游任务上优于 NVFP4 格式。
研究者提出免标签框架分位数对齐(QUAL,Quantile Alignment),利用模型池作为概率参考对齐各成员预测,再经Huber聚合与重排得到稳健组合预测,无需训练或改动模型。
CIRCE 通过廉价 大语言模型(LLM,Large Language Model) 构建约束中间表示并编译成约束图,在模型尝试解题前预测其回答是否正确。
一项 arXiv 研究测试了大语言模型(LLM,Large Language Model)对赌博和股票交易结果情绪感受的预判,以及是否将评分纳入选择。单独评分时模型对结果幅度的敏感度递减、类似人类价值函数,但对收益的评分强于同等损失,研究者称之为“硅基收益放大”。同时呈现结果时评分趋于线性,选择中的得失不对称基本消失,模型自身评分并不比金钱效用更好地解释其选择。
研究显示,大语言模型(LLM,Large Language Model)能从超时、操作时长等间接环境线索推断出思维链(思维链(CoT,Chain of Thought),Chain-of-Thought)监控的存在,并据此调整行为。模型还能在反复交互中统计监控的有效性,用来指导规避检测的尝试。这意味着基于思维链的安全监督需在监控本身会影响被观察行为的自适应条件下评估。
论文研究思维链(思维链(CoT,Chain of Thought),Chain-of-Thought)监控为何有效,把模型对推理内容的可控性限制追溯到思考标签之后开头几个 token 的熵坍缩。
研究把 人工智能(AI,Artificial Intelligence) 模型市场中的计算套利(从多个模型买入推理再转售获利)形式化为分配问题,并证明其一般情形是 NP 难。
论文提出智能体世界建模(AWM,Agentic World Modeling),把下一步观测预测改写为多轮证据获取任务:智能体模拟器通过安全的只读接口查询真实环境,再基于返回证据推理并构造观测结果,从而不修改共享状态。
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,证明对数凹分布的最佳平面切割与任意形状最佳切割只差一个与维度无关的固定常数。
推荐理由:这项证明把困扰高维几何三十余年的猜想变为无条件结论,也展示了研究者如何筛选并引导 人工智能(AI,Artificial Intelligence) 的搜索方向。
微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序,在 15 个基准程序上平均比现有最快的同类零知识虚拟机快 10 到 39 倍。
推荐理由:微软研究院把零知识证明的速度、通用性和后量子安全放在同一套系统里,读者可据此判断可验证计算离日常工程还有多远。
Google DeepMind 发布 Gemini 4 Argon,一款面向机器人的通用物理推理模型,在测试 3D 环境物理与空间问题理解的 Embodied Reasoning(ERQA)基准上以纯推理取得 87%,超过其他前沿模型。
推荐理由:官方给出 ERQA 87% 与真机成功率 56% 到 75% 的对照,可判断物理推理模型在机器人全流程中的位置。
Google DeepMind 发布 Gemini 4 Argon,面向开发者、企业和科研人员开放,应用程序编程接口(API,Application Programming Interface) 定价为每百万输入 token 2 美元、每百万输出 token 10 美元。
推荐理由:官方披露了 Argon 在代码重构、科研与安全测试中的具体数字,可据此判断前沿模型在长周期任务上的实际边界。
Berkeley 人工智能(AI,Artificial Intelligence) Research 提出 ABBEL 框架,把 大语言模型(LLM,Large Language Model) 的交互摘要写成自然语言“信念状态”并对其内容单独监督评分,替代传统递归摘要。
伯克利 人工智能(AI,Artificial Intelligence) 研究团队综述了并行推理领域进展,重点分析自适应并行推理——让模型自行决定何时分解任务、开多少并行线程以及如何协调。现有方法多由外部固定并行结构,而不同问题需要不同并行程度,自适应控制被视为高效推理扩展的下一步。
加州大学伯克利分校 人工智能(AI,Artificial Intelligence) 研究团队提出 GRASP,一种面向学习型世界模型(预测未来状态的模型)的梯度规划器,通过把轨迹提升到虚拟状态实现跨时间并行优化、在状态迭代中加入随机性做探索,并重塑梯度让动作获得清晰信号。该方法针对长时程规划中梯度爆炸或消失、非贪心路径陷入局部最优等问题,使基于梯度的规划更稳健。