SpaRLax:面向大语言模型推理的稀疏 RL 松弛方法
论文提出 SpaRLax,一种用于 soft CoT 推理的稀疏松弛 RL 训练方法,将 soft token 视为可微的中间计算步骤而非 MDP 中的动作,从而跨时间步传播梯度。方法采用 entmax 自适应稀疏度,在确定步骤截断长尾噪声、不确定时保留多个候选。在九个推理 benchmark 上取得最高平均性能。
论文提出 SpaRLax,一种用于 soft CoT 推理的稀疏松弛 RL 训练方法,将 soft token 视为可微的中间计算步骤而非 MDP 中的动作,从而跨时间步传播梯度。方法采用 entmax 自适应稀疏度,在确定步骤截断长尾噪声、不确定时保留多个候选。在九个推理 benchmark 上取得最高平均性能。
一项新研究提出 LSA-PAST,一种针对组合式增量学习(composition-IL)的参数高效方法,在组合式增量学习场景下实现了最先进的准确率-遗忘权衡表现。该方法将 LoRA 集成到冻结 ViT 中,为状态、对象和组合分别配置深度专用适配器;PAST 再通过基于当前任务数据拟合的无排练仿射变换,把旧的锚定原型映射到当前适配器空间,从而稳定共享基元表示、缓解旧组合性能漂移。
一项研究提出用基于廉价可观测特征(如温度和负荷预测)训练的停电分类器构建控制变量,降低配电馈线过载小概率事件的 Monte Carlo 仿真成本。实验显示单个特征的弱学习器可削减四分之一方差,boosted-tree 学习器约 60%。应用于印尼 Surabaya 馈线网络时,在相同仿真预算下,用学习型控制变量按 95% 置信限规划备用容量,比 Monte Carlo 将全市停电天数减少三分之一。
研究者提出 MoSAIK,从标准多线圈 T2 加权 TSE 脑部 MRI 的 k 空间数据中回顾性估计刚体运动参数,无需无运动参考、外部导航或额外采集,并将预测参数融入运动感知的模型化重建。Transformer 编码器估计的旋转与平移误差 MSE 均低于 0.2,Pearson 相关约 0.96 和 0.94。所有在体采集中超过 75% 的切片相较未校正重建获得信息增益,同时保留解剖细节。
研究者提出熵驱动的多模态问答方法 EDMA,将多模态问答形式化为逻辑熵逐步下降的迭代过程,量化每种模态对答案的贡献。方法包含模态条件划分、熵驱动的多模态融合和基于熵的答题轨迹选择。
arXiv 论文提出配对结果引导推理分配方法 PORA,让 LLM Agent 在每个动作前通过对比同一状态下短推理与长推理的结果,学习决定何时使用更长推理。在 BFCL memory 上,PORA 超过最强现有方法 17.4–32.9 个百分点;在代码和数学任务上匹配或超过始终长推理,同时 actor token 减少 50.6%、模型请求数减少 31.2%。
arXiv 论文提出 PROVISO,一个在 Agent 提出动作后、执行前进行拦截决策的控制器,将可信观察、外部观察、提议动作和备选动作编码为溯源类型记忆,并依据学习到的校准价值提交最优动作。
研究者提出免训练框架 Omni-Woodpecker(OWP),将 Omni LLM 的跨模态幻觉抑制从输出层操作转向表征层面的再平衡,通过正交分解分离隐藏状态中的接地证据与先验,并在解码前抑制误导性先验、恢复被忽略的证据。
论文提出 Clinical System One(CS1-4B),一个 40 亿参数的临床记录决策模型,训练数据来自 360 万患者的 1240 万问答,可在单次前向传播中回答多种类型化问题。
ReuF2F 是一个 Lean 4 基准,从 REU 项目收集 244 个形式化的入门级开放研究问题,用于评估编程智能体在 Lean 中端到端解决开放问题的能力。评测将问题及其逻辑否定放入 Docker 容器中的 Lean 项目,并基于 mini-SWE-agent 构建了统一测试框架 Leanimum-agent。结果显示表现最好的模型也只解决约 40% 的问题,仍有较大提升空间。
上海交大 Weinan Zhang 等学者在 arXiv 发布 388 页、12 章的 Physical AI 专著,提出将物理 AI 定义为在真实世界约束下通过持续反馈感知、建模并作用于物理世界的人工系统。
arXiv 论文提出 M-Plan,一个融合长期与短期记忆的闭环多智能体系统(MAS)规划框架。该框架为智能体提供全局-局部与过去-当前两类任务引导,在执行中按需给予局部提示,任务完成后将相关信息优化后写入长期记忆库,并保持即插即用设计。在 ALFWorld、Webshop 和 PDDL 多轮任务上的大量实验显示,M-Plan 在准确性和效率上均优于多种基线方法。
研究者提出结合 KL 锚定均衡的策略偏好优化方法 SPOKE,用于训练扑克 AI 智能体在隐藏信息下做出策略性行动。
一项 arXiv 研究评估了 4 个 LLM 系统(单个基线与 3 种多智能体拓扑)在 4 个模型、3 个临床任务上的表现,在推理过程中按事实性与忠实性分类测量幻觉。
研究者提出 SPEM,一个轻量级结构感知程序性记忆框架,用于解决 LLM Agent 技能库扩大后全量加载开销高、扁平语义检索忽略依赖与执行顺序的问题。
该 arXiv 论文研究 LLM 在经典规划中的困难来源,在七个 STRIPS 域上对比结构难度与符号词汇可解释性的影响。
论文提出 LightCRS,一个轻量的查询条件式多域多模态对话推荐框架:离线用冻结编码器预计算商品表示,在线由 5.3M 参数模块通过跨域共享的 query-conditioned cross-attention 融合证据,并用候选间 Transformer 联合比较。
研究者推出 MAMath-Bench,一个评估多智能体系统(MAS)多模态数学推理能力的过程感知基准,包含 1,003 道题,覆盖 11 个数学类别和文本、图像、音频等模态,并提供细粒度里程碑标注。评测发现:多智能体协作并不总能提升最终答案准确率;协作能扩大中间推理覆盖面但会增加推理冗余;现有系统仍易受对抗性推理错误影响,尤其是细微结构扰动。数据集已公开。
论文提出一种有界的在线步级修复模块,在 Lean 4 自动定理证明中不再丢弃失败的 tactic,而是把编译器错误信息喂给预训练修复模型原位修复。该方法在 LeanDojo 基准 1,990 题子集上相对纯采样基线最多提升 32%,多解出 82 题且在 K∈{1,3,5,8} 各预算下均有效;首次修复尝试即贡献 84–96% 的总增益,并在 Lean Workbook 上近乎翻倍解题率且零回退。
arXiv 一篇综述系统梳理了 LLM 驱动的工业智能体在智能制造中的应用。文章分析了通用智能体直接部署面临的五大挑战,提出了涵盖应用场景、具身形式与五个能力层级的统一分类法,以及四层系统架构与闭环任务执行机制,并回顾工业全生命周期的代表性应用与未来研究方向。