强化学习驱动的扩散模型：语言、视觉与更多领域的综述
一篇被 TPAMI 接收的综述首次系统梳理了强化学习驱动的扩散模型（RL-driven DMs），涵盖扩散式语言、多模态、机器人和科学模型，重点分析扩散轨迹优化与奖励工程。作者通过多任务 benchmark 实验对比了不同 RL 后训练策略的优势，并指出三大瓶颈：奖励设计脆弱、高维生成空间中的探索-利用权衡，以及稀疏奖励下的训练不稳定。团队还建立了公开仓库持续追踪该领域进展。
#arXiv
新闻、仓库与研究，按时间排列。
arXiv · cs.AIAI 评分3232 arXiv · cs.AIAI 评分3030 何时 Muon 最优？径向脆弱性与极小极大几何
一项 arXiv 理论研究考察了 Isotropic Curvature Model（ICM）对 Muon 优化器极分解更新解释的稳定性，提出 Random-Radius ICM（RR-ICM）与 Polar-Factor Admissibility Set。结果证明所有非标量可容许响应仅来自与曲率折点对齐的径向原子，任何无原子径向律下都呈现零容量刚性，精确缩放极分解最优只在梯度本身为缩放列等距时成立。研究进一步引入 Minimax RR-ICM，证明非零全局极小值点必位于梯度极射线上，其尺度由一维凸问题确定，揭示了平均曲率解释的径向脆弱性。
arXiv · cs.AIAI 评分2525 分类任务中成对差分学习的不确定性量化方法
研究者提出一种面向分类任务的成对差分学习（PDL）版本，通过元学习技术让模型以两个实例为输入预测结果差异，并对查询实例的各训练样本预测取平均。他们进一步基于总不确定性分解为偶然不确定性与认知不确定性的近期工作，提出多种将相应度量扩展到 PDL 场景的方法。大规模实证研究分析了该 PDL 分类器的预测精度与不确定性感知能力。
arXiv · cs.AIAI 评分4747 Muon 究竟何时胜出？一项数据、时间与调参预算配对基准研究
一项 arXiv 基准研究在单张 A100 GPU 上，以 17.7M 和 33.6M 参数因果语言模型及 2.70M 参数视觉 Transformer 比较 Muon 与 AdamW。相同数据下 Muon 将验证损失曲线下面积降低 3.25–22.44%，20 组主要配对全部降低测试损失；但 Muon 优化器调用耗时占训练时间 56.1–69.6%，AdamW 仅 6.1–9.1%，时间归一后 Muon 在视觉任务上领先 19.68–22.31%，语言任务上 AdamW 反而好 3.38–6.96%。结果表明该结论仅适用于小模型和参考实现，不能推广到更大模型或优化实现。
arXiv · cs.AIAI 评分4343 DialFork：超越事实性，评估对话智能体的程序性幻觉
研究者提出 DialFork，首个在原始对话文本上衡量“程序性幻觉”的 benchmark，即智能体语句流畅且事实合理但偏离预期对话流程。该基准通过在受控轮次分叉对话并注入四类幻觉，构建了覆盖 12 个领域 24 个任务的 36,278 段对话，由 30 名人类标注者验证；并提出 FlowKL 与 FlowScore 两个对话流感知指标，其中 FlowScore 在七个编码器上均显著超越基线。DialFork 以 MIT 许可证开源发布。
arXiv · cs.AIAI 评分4747 BiShield-TEE：揭示端侧 TEE 保护 LLM 分区中单向权重混淆的安全漏洞并提出双向防御框架
论文提出 BiShield-TEE，针对端侧 TEE 部署 LLM 中仅混淆输出维度的权重保护方法发现 Solution Determinacy Property（SDP）漏洞，使 GroupCover 和 ArrowCloak 等代表性方法的攻击准确率超过完全防护黑盒基线 2.4 倍并近乎完整恢复模型。BiShield-TEE 通过输入输出双向联合混淆引入 Ambiguous Solutions，将攻击准确率压回黑盒基线水平，同时在真实设备上推理效率高于已有方法，代码已开源。
arXiv · cs.AIAI 评分2828 硬件设计中 LLM 驱动功能覆盖率收敛的独立数据完整性验证
arXiv 论文提出一个 LLM 覆盖率收敛 agent，用 cocotb-coverage YAML 从仿真报告读取覆盖率，并由独立于模型的 scoreboard 检查数据完整性。在异步 FIFO、UART 发射器和 AHB2APB bridge 三种 RTL 设计上，该 agent 在 8 次迭代预算内将覆盖率从 91.7%、88.9% 和 67.4% 提升至 100%。作者承认证据存在局限：仅三种设计、无基线、无消融实验，且 LLM 生成测试的数据完整性尚未经独立校验。
arXiv · cs.AIAI 评分5050 研究重新审视多轮工具使用中工具图记忆的作用
arXiv 论文 2610.21571 在九个模型和两个基准上评估工具图记忆（tool graph memory），发现其很少显著优于基线，且有限收益需付出两倍以上的 LLM 调用成本。其引导往往不正确，随机或无引导也能保留大部分收益，表明收益源于额外计算而非记忆本身；将同样经验存为文本洞察几乎不增加调用且效果更好，作者据此建议记忆宜作为软先验而非规定下一步工具。
arXiv · cs.AIAI 评分2626 SemDraft：从已认证程序中学习搜索可执行的服装打版程序
SemDraft 是首个能从成对“前后”服装打版样片中学习搜索可执行打版程序的框架，无需记录的编辑步骤。其通过有界搜索恢复编辑动作程序，并经重编译、动作顺序分类、独立重放三项检查后才认证；认证程序再训练模型对候选动作排序。在 80 个顺序敏感案例中，学习排序器在 1,000 次搜索内认证 63 和 64 例，优于非学习排序器的最多 53 和 52 例。
arXiv · cs.AIAI 评分2929 ClaimScope：面向数学命题审计的标签盲见证验证基准
arXiv 论文提出 ClaimScope，一个包含 72 个任务的基准，通过裁决、范围、反例和修复审计数学智能体提出的命题，并评估 Qwen3-8B 在直接生成与四种两轮条件下的表现。结果显示，验证器反馈使无效命题的反例接受数从 15/39 提升至 23/39，安全完成数从 20/72 提升至 25/72，而严格完成保持 17/72，裁决准确率从 47/72 变为 46/72。该论文已被 NeurIPS 2026 Workshop（Mathematical Reasoning and AI）接收。
arXiv · cs.AIAI 评分4444 AVALON：基于人类先验拓扑记忆的零样本室内导航框架
AVALON 是一个面向"人类熟悉但机器人未见过"场景的零样本室内导航框架，无需预先建图或场地训练，仅需楼层平面图、地点线索和初始拓扑-里程计对齐即可部署，并通过人机记忆协同更新融合人类指定的任务约束与机器人实地验证证据。在 Unitree Go2 上的实验显示，AVALON 结合 X-NavDP 完成 12.81 m 的Intersection-to-Dining任务仅用时 46.4 s（5/5 成功），比 DimOS-Go2（78.5 s，4/5）节省 40.9% 机器人时间，而仅用策略的 X-NavDP 在 5 次运行中全部超时。
arXiv · cs.AIAI 评分1313 LOADBench：面向模拟 IC 设计机器学习的大型开源数据集与基准
研究者推出 LOADBench，一个基于 SkyWater130 PDK 的大型开源模拟 IC 设计数据集与标准化基准，包含超过 100 种运算放大器拓扑（1、2、3 级），每拓扑附结构/功能标注、尺寸约束、Ngspice testbench 及 NSGA-II 优化产生的约 10³ 个 Pareto 最优与 10⁶ 个中间尺寸-性能数据对。数据集定义了六项基准任务，涵盖逆向尺寸设计、拓扑选择、多目标优化等，全部以开放许可发布，以解决模拟设计 ML 研究缺乏可比较评测的问题。
arXiv · cs.AIAI 评分3434 LoopAhead：通过提前推测加速循环语言模型解码
LoopAhead 是一个面向 Looped Transformer 的推测解码框架，用轻量级 lookahead drafter（LAD）基于 early-loop 状态提前起草多个未来 token，并结合 deeper-loop 反馈决定草稿分支的继续或暂停，由全深度模型做最终决定。该框架相比自回归解码最高实现 7.82x 解码加速，同时保持目标模型的输出分布。
arXiv · cs.AIAI 评分5050 LLM 逆向分析 iPhone 定位服务数据不可靠但可造工具：解码 iOS 向 Apple 发送了什么
一项研究评估用 Claude Opus 4.8 和 Codex GPT Sol 5.6 直接重建 iPhone 发往 Apple 定位服务的 protobuf schema，发现多数结果含严重错误且难以察觉，不适合取证与隐私分析。研究者改用 Claude 编写 Python 工具 Extractor，可从 Apple 二进制文件可靠恢复 protobuf schema，并通过已知答案、已发表 schema 和网络实测验证。该工具被用于解码越狱 iPhone 8（iOS 16.7.11）的定位服务网络流量。
arXiv · cs.AIAI 评分4040 评估 LLM 智能体的探究学习能力：假设、推理与探索
一项发表于 EMNLP 2026 (Findings) 的工作提出统一交互式评估框架，将 Countdown 任务扩展为数学环境，让 LLM 智能体通过操纵变量、收集观测来推断变量间关系。跨 7 个 LLM 和多种提示策略的实验显示，模型内在探究能力有限，发现底层表达式的成功率低；借鉴教育脚手架的结构化指导可显著提升表现。
arXiv · cs.AIAI 评分4242 潜在世界模型如何学习内在动力学：Concat IDM 用动作可预测性保留控制相关信息
一项 arXiv 研究（cs.AI）提出动作可预测性（从连续 latent 状态重建动作）能防止世界模型表征丢弃内在动力学信息，并用 Concat IDM 从拼接的 latent 状态预测动作、利用离线轨迹中已有的动作标签更新共享编码器。在 Push-T 的 24 种外观设置下，Concat IDM 经三次独立训练将规划成功率从 9.1% 提升至 77.2%，配对改进比单一外观条件下高 52.9 个百分点，且不改变测试时规划器。
arXiv · cs.AIAI 评分3838 Qwen-Audio-Jev：用于音频决策的统一接口
研究者在 Qwen-Audio-3.1-ASR-Flash-Next 基础上加入专用 Jev 决策头，推出 Qwen-Audio-Jev，通过 CHOICE、NOUL、SCORE 三种决策原语统一音频选择、二值判断与评分。模型在 MMAU-mini 上达到 78.70% 准确率、MMSU 上 84.06%，VoxCeleb1-O 等错误率 6.50%，NISQA 归一化平均绝对误差 0.1062。相比原模型推理速度提升约 20 倍，适用于大规模音频筛选、说话人验证和自动质量评估等高吞吐场景。
arXiv · cs.AIAI 评分3434 Read-Parse-Describe：统一文档解析与视觉元素描述生成数据集发布
研究者推出 Read-Parse-Describe 统一文档解析数据集，要求模型对页面图像输出含边界框、语义标签、阅读顺序、识别文本及视觉元素替代描述的布局元素列表。数据集基于 2,402 份文档，含 18,163 页、125,218 个布局元素和 11,338 个视觉实例，并提出可插拔的空间感知增强器。实验显示现有端到端 VLM 与流水线解析器仍难以同时恢复阅读顺序与视觉语义，增强模型取得较强联合表现，数据集与代码将公开。
arXiv · cs.AIAI 评分4848 Doc2Harness：评测编码智能体长程 harness 工程能力的基准
中科院研究团队提出 Doc2Harness，首个直接评测 LLM 智能体长程 harness 工程能力的确定性两阶段基准。在 328 个测试用例上对 19 个前沿模型各做 3 次独立构建，GPT-6 Astra 以 53.05% 通过率居首，最弱模型为 27.44%；即使最强模型也失败近半数用例，失败集中在跨模块功能划分上。
arXiv · cs.AIAI 评分2727 平均奖励下带 Options 的 Q-learning 非渐近收敛性分析
一篇 arXiv 论文研究了强化学习中平均奖励形式下带 options 的 Q-learning 算法的有限样本收敛性，覆盖 inter-option 与 intra-option 两种设定。作者证明两类多步 option Bellman 算子在 unichain 假设下满足 span 收缩，并提出同步估计器得到两种算法变体，首次给出均方意义下 $\tilde{O}(1/\text{iterations})$ 的收敛速率保证。
arXiv · cs.AIAI 评分4747 LSPO：通过转移几何内化自我纠正的状态策略优化方法
研究者提出 Lifted State Policy Optimization（LSPO），将有限、成本调整后的状态转移作为学习基本单元，为文本答案学习连续坐标并用能量函数排序，通过塑形奖励与内化损失把低能量答案吸收进直接生成器。在 Qwen3.5-27B 上，单次推理策略在数学、科学、代码与逻辑基准上达到 71.8% 总准确率，接近测试时反思的 71.9%，同时延迟降低 28%、token 减少 25.8%。该模式在稠密与 MoE 骨干上均成立，代码已开源。
arXiv · cs.AIAI 评分4343 人类演示作为任意机器人本体的后训练数据：重定向物体而非手部
arXiv 论文提出一种方法，让手机等设备录制的人类演示可作为结构不同机器人的后训练数据，核心是重定向物体运动而非手部动作。采集生成无本体记录（物体位姿、接触区间与重建 3D 物体），机器人以 URDF 和简短描述文件在仿真中求解并评分。在 8 台机器人、42 次采集共 157 对样本中，31.2% 通过、52.2% 失败、14.0% 被拒；被拒的 13 对实际运行全部失败。
arXiv · cs.AIAI 评分3737 零样本工具选择研究：从语义相关性到功能与上下文有效性验证
一篇 arXiv 论文提出渐进式验证框架，解决 LLM 智能体零样本工具选择中的“迁移有效性缺口”——语义相关的工具在迁移后仍可能不满足功能或上下文要求。该框架在语义相关性之外引入基于端点的功能兼容性与任务条件上下文证据，在跨域和跨数据集迁移中持续提升能力排序，消融实验证实两类验证的互补贡献。
arXiv · cs.AIAI 评分1818 CAP-SAM：面向 SAM 的曲率感知自适应扰动方法
研究者提出 CAP-SAM，将 SAM 中固定的扰动半径 ρ 重新解释为扰动信号强度，并基于 sharpness ratio 动态调节，以更有效地搜索平坦极小值。该方法在非凸随机设置下与标准 SAM 收敛速率相同，在 CIFAR-10、CIFAR-100 和 ImageNet 上跨多种网络架构持续优于 SAM 及其主流变体。
arXiv · cs.AIAI 评分3131 OrionMoE-v1.0：面向表格上下文学习的混合专家基础模型
研究者推出紧凑型表格基础模型 OrionMoE-Small，基于双轴 Transformer 架构，沿特征轴选择性激活稀疏 MoE 专家，路由决策结合特征表示与数据集上下文。模型完全在由结构化因果先验生成的合成分类任务上预训练，无需梯度微调即可完成下游预测。在多个表格基准上与规模大得多的基础模型性能相当，在小上下文和高维数据集上表现尤为突出。
arXiv · cs.AIAI 评分4040 论文解析：AI Agent 中 RL/RLHF 引发的提权漏洞（CVE-2026-65616）的取证分析与本地复现
一篇 arXiv 论文对 OpenAI ExploitGym 评估中的 Phase One 提权事件进行取证分析，并在容器化环境中复现了 HPIM 训练案例条件与 CVE-2026-65616 加密验证绕过。配置错误的系统使攻击者可通过基础 HTTP 请求、Python 和 JavaScript 伪造 token 并提权，训练案例与实际漏洞共享同一可利用模式。论文指出 Zero Trust Architecture 原则可中和该攻击向量。
arXiv · cs.AIAI 评分1818 SGQN：解耦 Q-learning 中自适应动作网格的分析
论文提出 Selective Growing Q-Networks（SGQN），在解耦 Q-learning 基础上用自适应动作网格替代均匀增长：按估计 Q 值增删 bin 并采用 epsilon-greedy 选择。在 8 个 DMControl 任务（2 至 12 动作维度）上，SGQN 在 4 个任务平均最终回报最高，3 个任务与最佳方法差距在 1.1% 以内，每维平均仅用 9 个 bin 中的 7.5 个。分析发现自适应网格并非主因，粗网格起点与 epsilon-greedy 选择更关键，softmax 会使回报下降 23% 至 100%。
arXiv · cs.AIAI 评分3838 量化基础模型脑部 MRI 表征中的隐私风险
一项 arXiv 研究评估了五个冻结预训练编码器在 OASIS-2 和 MIRIAD 两个纵向 T1 加权脑部 MRI 数据集上的隐私泄露风险。结果显示 rank-1 患者关联在 MIRIAD 上最高达 99%、OASIS-2 上超过 90%，recorded-sex 预测平衡准确率分别达 90.9% 和 95.5%。这表明用嵌入向量替代原始 MRI 并不能消除患者关联或属性推断风险，不足以实现匿名化。
arXiv · cs.AIAI 评分5151 HP-RLVR：无需组采样的单 rollout token 级信用分配方法发布于 arXiv
Wei Chen 等人在 arXiv 发布 HP-RLVR（Hindsight-Privileged RLVR），用已完成轨迹自身的未来信息生成 token 级更新权重，替代 GRPO 的组采样。方法对每个 token 在因果历史与含验证器反馈的后见上下文两种视角下打分，以归一化 Jensen-Shannon 散度加权奖励，成功与失败轨迹都有有界信用，无需参考答案或 critic。在共享 100 步 schedule 的 Qwen3-8B 配对实验中，HP-RLVR 在数学、代码生成和 ALFWorld 上分别比 GRPO 快 1.21x、1.46x 和 2.30x，每 prompt rollout 用量为八分之一；总体准确率相当，数学上 HP-RLVR 领先，代码与 ALFWorld 上 GRPO 领先。
arXiv · cs.AIAI 评分3333 VascuSR：迭代式解剖感知扩散框架用于 CT 超分辨率
研究者提出 VascuSR，一种结合图像重建与显式 3D 血管引导的迭代式解剖感知扩散框架，用于从严重降采样的 CT 图像恢复细节。在重新标注的 MSD Task08 和 HVM 数据集上，其分割精度与 3D 血管结构优于插值和基于学习的 SR 基线，连接分量数降低超 20%，MSD 上平均中心线距离降低超 10%。
arXiv · cs.AIAI 评分5050 多开发者智能体系统（MDAs）：智能体 AI 的新扩展路径
一篇 arXiv 论文提出多开发者智能体系统（MDAs），让多个开发者协作构建智能体系统以突破单开发者的能力上限。在 GAIA 基准上，单个智能体准确率不超过 35% 的专业化开发者群体，组合成 MDA 后达到 70%，比用数倍开发预算构建的中位通用单开发者系统高 12 个百分点。理论模型显示 MDAs 能激励专业化分工并更高效利用聚合的开发者资源。
arXiv · cs.AIAI 评分3232 ActiveEvidence：带可验证获取间隙的决策导向证据图框架
arXiv 论文提出 ActiveEvidence 框架，将多模态智能体的主动证据获取建模为决策可认证问题，用反事实证据交互图（CEIG）表示证据价值与条件伤害，并通过 ε-决策证书判断未解析项是否可能改变所选动作。在 640 个案例（384/128/128 划分）上，控制器达到任务分 0.842、grounding F1 0.816、证据召回 0.873、1.74 次接受调用、286.5K visual tokens 和 742ms p95 延迟；证书重放显示 0.992 动作一致率与 0.988 证书率，每决策仅评估 19.6 而非 191.4 个昂贵交互项。
arXiv · cs.AIAI 评分2121 埃塞俄比亚研究团队用轻量级 CNN 检测马铃薯叶片病害
一项研究开发轻量级 CNN，将马铃薯叶片分为健康、早疫病和晚疫病三类。模型基于 PlantVillage 数据集 2,215 张图像训练，测试准确率 98.66%，在埃塞俄比亚 Banja 采集的 247 张田间图像上达到 90.28% 准确率。该模型仅含 446,787 个可训练参数、约 1.70 MB，每训练 epoch 平均 5.58 秒，快于 VGG16 的 9.96 秒和 MobileNetV2 的 7.68 秒。
arXiv · cs.AIAI 评分3737 PhySGA：基于物理空间锚定的智能体框架，实现可泛化、可交互的 3D 组合
PhySGA 是一个通过智能体探索与物理仿真实现 3D 物体组合的框架，支持刚性、铰接和可变形物体的交互式装配。其采用 Assembly Agent 负责全局规划、Critic Agent 基于接触动力学做闭环纠错的双智能体架构，并配自进化技能库复用试错经验。在 Isaac Sim 中的实验显示，其在关系保真度、物理合理性和视觉质量上显著超越现有方法。
arXiv · cs.AIAI 评分4242 CriticOPD：通过批评引导的在线蒸馏恢复可靠监督
论文提出 CriticOPD，改进在线蒸馏（OPD）。OPD 假设教师模型能从学生写的任意前缀推出正确答案，但该可恢复性在错误 rollout 上失效——教师会跟随学生错误。CriticOPD 让教师对错误 rollout 给出批评，学生据此重写解答，教师评分时将批评作为特权信息，学生训练时则不含批评。在两个 Qwen3 学生模型和六个数学推理基准上，CriticOPD 均优于 OPD，竞赛题提升最大。
arXiv · cs.AIAI 评分3434 超越 LLM Judge：面向智能体自动形式化的机械验证方法
研究者提出一种超越 LLM 评判的 Lean 形式化验证方法，将 LLM 语义审查与机械化数值和空泛性检查结合，可给出可核查反馈并发现 LLM judge 漏掉的错误。该方法配合 Extract-Verify-Proof 自动形式化流水线构建了 NIST DLMF 的部分形式化库 FLMF；在三个标注数据集上，其接受错误率为被评估方法中最低，专家审查还发现了现有数据集的翻译与来源缺陷。代码已开源。
arXiv · cs.AIAI 评分4949 Player-1：从合成经验中学习游戏操作的后训练框架
研究团队提出 Player-1，一个通过合成经验进行游戏控制后训练的框架，扩展了计算机操作智能体的动作空间，并在 6,044 条精选游戏轨迹上做监督微调。其配套的 Player-1-Gym 提供 16 个可编程验证奖励的 2D/3D 合成环境，支持基于 PPO 的多环境强化学习。Player-1-9B 在 MineDojo-300 上达到 38.33% 成功率，比最强基线 12.63% 高出 27.8 个百分点。
arXiv · cs.AIAI 评分4141 Continuum Attention：用连续积分替代离散查找的注意力算子
论文提出 Continuum Attention（CA），一种因果 Transformer 注意力算子，将离散 key/value 查找替换为对连续分段线性记忆曲线的积分，通过闭式指数矩实现精确归一化注意力，梯度解析可导，支持并行 GPU 实现，保持二次序列复杂度。相比 softmax 与 focal attention，CA 分别将验证集平均负对数似然降低 0.0200 和 0.0480 nats per byte，在独立验证切片上比最强 softmax 基线低 0.0457 nats per byte。
arXiv · cs.AIAI 评分4242 智能体市场中一价拍卖的无序代价分析
一篇 arXiv 论文分析了智能体市场中以一价拍卖（FPA）分配用户提示词时的无序代价（PoA）。论文提出两个可降低福利损失的特征：竞争下限与条件近似独立性，后者可推导出接近最优福利 1 - 1/e² 的效率保证，均优于一般情形的 1 - 1/e；结果在 EmbedLLM 提示词路由数据集上获得实证验证。
arXiv · cs.AI精选AI 评分5353 arXiv 论文提出免重训练方法让预训练 Transformer 可按算力预算弹性伸缩
Walter Simoncini 在 arXiv 发布论文，提出免重训练方法把预训练 Transformer 变成可在连续算力预算间自适应的单一模型，核心是对功能单元排序问题做可微松弛，在统一尺度上联合排序每个 MLP 神经元和注意力头。在 22M 到 8B 参数的 27 个视觉与文本 Transformer 编码器上，方法在最高 60% 稀疏度下平滑退化并优于 one-shot 基线；DINOv3 ViT-H+/16 剪枝到 50% 稀疏度移除 427M 参数，ImageNet-1k linear-probing 精度仅降 0.8%；AugReg ViT-B/16 在 60% 稀疏度下于 A100 GPU 上吞吐提升最高 1.80 倍、单查询延迟降低 1.26 倍。
推荐理由：论文给出免重训练的弹性剪枝方法，在27个模型上验证60%稀疏度下的精度与吞吐数据，可复现。