跳到正文
10月21日周三
  1. arXiv cs.AI36

    M-Plan:面向 LLM 智能体的记忆编排式综合规划框架

    arXiv 论文提出 M-Plan,一个融合长期与短期记忆的闭环多智能体系统(MAS)规划框架。该框架为智能体提供全局-局部与过去-当前两类任务引导,在执行中按需给予局部提示,任务完成后将相关信息优化后写入长期记忆库,并保持即插即用设计。在 ALFWorld、Webshop 和 PDDL 多轮任务上的大量实验显示,M-Plan 在准确性和效率上均优于多种基线方法。

  2. arXiv cs.AI40

    MAMath-Bench:面向多智能体数学推理的过程感知鲁棒评测基准

    研究者推出 MAMath-Bench,一个评估多智能体系统(MAS)多模态数学推理能力的过程感知基准,包含 1,003 道题,覆盖 11 个数学类别和文本、图像、音频等模态,并提供细粒度里程碑标注。评测发现:多智能体协作并不总能提升最终答案准确率;协作能扩大中间推理覆盖面但会增加推理冗余;现有系统仍易受对抗性推理错误影响,尤其是细微结构扰动。数据集已公开。

  3. arXiv cs.AI39

    修复而非仅重采样:Lean 4 中有界的编译器引导证明修复方法

    论文提出一种有界的在线步级修复模块,在 Lean 4 自动定理证明中不再丢弃失败的 tactic,而是把编译器错误信息喂给预训练修复模型原位修复。该方法在 LeanDojo 基准 1,990 题子集上相对纯采样基线最多提升 32%,多解出 82 题且在 K∈{1,3,5,8} 各预算下均有效;首次修复尝试即贡献 84–96% 的总增益,并在 Lean Workbook 上近乎翻倍解题率且零回退。

  4. arXiv cs.AI28

    LLM 驱动的工业智能体:面向智能制造的综述

    arXiv 一篇综述系统梳理了 LLM 驱动的工业智能体在智能制造中的应用。文章分析了通用智能体直接部署面临的五大挑战,提出了涵盖应用场景、具身形式与五个能力层级的统一分类法,以及四层系统架构与闭环任务执行机制,并回顾工业全生命周期的代表性应用与未来研究方向。

  5. arXiv cs.AI29

    基于大语言模型与强化学习的自主建造与施工进度更新方法

    一项研究提出结合大语言模型与强化学习的自主建造方法:采用增强型 soft actor-critic 强化学习算法为移动起重机规划施工动作,并借助机器人运动学与控制算法保证动作可执行。系统还定制了嵌入模型按用户兴趣提取施工环境信息,并调用 ChatGPT 5 更新施工进度、向控制系统提供安全信息、生成进度报告。该方法通过多个全尺寸挡土墙建造实验验证了可行性。

  6. Hugging Face Daily Papers45

    多模态重排序是一种 System One 决策

    这篇立场论文提出,通用视觉语言模型(VLM)可通过 System One 决策直接充当多模态重排序器,无需专门训练:用一道选择题对第一阶段检索的 top 16 候选打分,从一次前向传播中读取各候选标签概率完成排序。

  7. Hugging Face Daily Papers44

    RiseHarness 框架:自进化方法提升长时程终端 Agent 可靠性

    论文提出 RiseHarness,一个在模型权重固定的情况下迭代改进终端 agent harness 的框架。它以同配置下成功与失败的运行为切入点,结合轨迹与运行时监控的 harness 内部追踪,生成 Harness Handbook 定位跨任务的共性问题,并从其他 harness 框架检索相关实现作为设计参考,经行为检查与重复任务评估后保留有实测增益的版本进入下一轮迭代。

  8. Hugging Face Daily Papers41

    Specter:通过量化驱动的多步推测卸载加速 MoE 推理

    推理系统 Specter 将量化与推测解码、专家卸载结合,用量化轻量草稿模型预测未来专家激活,让运行时提前调度专家的搬运与执行,缓解 PCIe I/O 瓶颈。单请求推理下,Specter 的 TPOT 相比 SOTA 系统平均提速 1.50x,最高达 1.88x。该系统让内存受限的单 GPU MoE 推理在消费级硬件上更实用,代码已开源。

  9. Hugging Face Daily Papers32

    MMEnterprise-Bench:评估企业智能体处理演化多模态记录的能力

    研究者推出 MMEnterprise-Bench 基准,包含 1,613 道基于模拟协作项目中演化多模态记录的问题,覆盖证据推理、冲突消解与不可回答三类任务。对 10 个专有和开源多模态 LLM 的评测显示,即使最强模型在证据存在跨来源或时间冲突、或跨越多张图像时仍表现不佳。增大检索预算或使用更大检索器能提升证据召回,但不必然带来更高的答案准确率。

  10. Hugging Face Daily Papers61

    Matrix-Game 4.0:用视频模型驱动实时可玩游戏世界

    论文提出 Matrix-Game 4.0,通过可执行游戏框架将游戏执行与视觉生成分离,由轻量游戏引擎维护世界状态、多模态编码 Agent 将玩家想法转成游戏代码、基于自回归视频模型的渲染器把低多边形代理画面转化为高保真视觉。

    推荐理由:论文提出游戏执行与视觉生成分离的框架,并给出单卡 480p 60 FPS、112ms 延迟等实测指标,可帮助评估视频模型驱动可玩游戏世界的可行性。

  11. Hugging Face Daily Papers33

    PAR:面向状态跟踪长度泛化的进度对齐循环方法

    研究者提出进度对齐循环方法 PAR,训练循环语言模型第 k 次迭代的预测对齐前 k 步操作后的状态,并将循环状态重缩放到首轮范数。在 swap-S5 任务上,基于 Qwen2.5-0.5B、最多训练 32 步的模型在 512 步(16 倍训练长度)下达到 95.5% 平均全状态准确率,而同骨干上 RLT 为 55.7%、显式思维链仅 0.8%。消融显示去掉范数锚定后外推倍数降至 2.2 倍以下。

  12. Hugging Face Blog71

    Ai2 发布 FairStress 基准,揭示大模型公平决策中的隐性不对称

    Ai2 发布 FairStress 基准,测量大模型在涉及人口群体决策中超越最终选择的隐性公平问题,覆盖 300 个场景、扩展为超过 1300 万测试用例。实验发现模型更易在有利于少数群体的对抗性前缀下放弃正确答案,15 个模型的放弃正确答案差距平均为隐含身份 6.9 个百分点、显性标签 9.3 个百分点;对照 BBQ 表明测量偏差方向部分取决于评测方式。

    推荐理由:Ai2 官方技术报告,提出用对抗性前缀测试模型决策稳定性,并审计训练数据与九种去偏方法的效果。

10月20日周二
  1. Francis YAO (@Francis_YAO_)35

    分享基于 Qwen3 的分块 KV 压缩模型构建与相位敏感性评测实验仓库

    Xingyu Zhu 分享了相位敏感性评测实验仓库及基于 Qwen3 构建的分块 KV 压缩模型。实验显示 DeepSeek-V4 在相同代码和问题下,随前缀装饰性 docstring 每两个 token 变化而翻转答案,NIAH 准确率随 needle 位置在固定 4-token 周期上波动最高达 40 分,团队解释了这与分块 KV-cache 压缩的关系。

  2. The Verge · AI76

    报告称美国化石燃料基建占比升至 30%,可再生能源增速放缓

    The Verge 报道 Environmental Defense Fund 与 Atlas Public Policy 上周发布的报告,称美国正在建设十年来最多的化石燃料基础设施,而可再生能源增长放缓。

    推荐理由:报告给出新增装机结构从 5% 到 30% 的转变及风电光伏与燃气的成本对比,可帮助读者理解数据中心需求下美国电力格局的变化。

  3. Hugging Face Daily Papers40

    ConfigWM:可配置感知的世界模型研究

    研究者提出 ConfigWM,通过任务条件化状态提取实现可配置感知,以语言任务描述为配置信号,将视觉嵌入映射到任务特定状态空间,过滤与任务无关的干扰信息,并在该状态空间中学习动作条件动力学用于规划。在干扰逐级增强的环境中,ConfigWM 规划成功率保持稳定,平均比最强基线高 22.3%,物理量探测 Pearson r 提升 0.365,干扰到干净检索提升 75.5%。