跳到正文
10月15日周四
  1. arXiv cs.AI32

    Flow Policy Gradients 如何用于机器人控制训练

    研究提出改进的 flow matching 策略梯度目标,绕过似然计算,使机器人控制策略可训练为更 expressive 的分布。该方法在腿足运动、人形动作跟踪和操作任务上均取得成功,并在两台人形机器人上实现稳健的 sim-to-real 迁移。消融分析显示,策略可从零训练时利用 flow 表示进行探索,微调鲁棒性也优于基线。

  2. arXiv cs.AI22

    从关联到激活:比较 LLM 中行为与隐藏状态的语义几何

    研究者在八个指令微调 Transformer 模型上,用相似性强制选择和自由联想两种范式、共享 5000 词词表收集 1750 万+ 试次,构建基于行为的相似度矩阵。表征相似性分析显示,强制选择行为与隐藏状态几何的对齐程度显著高于自由联想;在留出词回归中,行为相似度(尤其强制选择)能预测未见词的隐藏状态相似度,超出词汇基线和跨模型共识。

  3. arXiv cs.AI39

    Scalable Power Sampling:无需训练、通过分布锐化实现 LLM 高效推理

    研究者提出 Scalable Power Sampling,一种无需训练也无需验证器的算法,通过自回归地锐化基座模型的生成分布来提升 LLM 推理能力。该方法基于自回归幂分布的词元级分解,将全局幂分布近似为词元级缩放低温分布,缩放因子捕捉未来轨迹质量,从而省去迭代 MCMC。

  4. arXiv cs.AI31

    VERGE:面向可验证 LLM 推理的形式化精化与引导引擎

    VERGE 是一个神经符号框架,将 LLM 与 SMT 求解器结合,通过迭代精化生成经形式化验证的答案。它把 LLM 输出拆解为原子断言并自动形式化为一阶逻辑,用自动定理证明检查逻辑一致性,并引入多模型共识、语义路由和基于最小修正子集(MCS)的逻辑错误定位三项机制。在 GPT-OSS-120B 上,VERGE 在多个推理基准上收敛时平均性能较单次生成提升 18.7%。

  5. arXiv cs.AI36

    NeuroVLA:面向流畅快速反射式机器人控制的类脑具身智能架构

    研究者提出类脑架构 NeuroVLA,将皮层视觉语言规划器与递归小脑调制、有状态脉冲脊髓控制器耦合,兼顾语义规划与高频本体感觉反馈。其小脑模块将平均指令抖动降低 75.6%,碰撞恢复率达 54.8%,而所评估的 VLA 基线为 0.0%。基于 FPGA 神经形态处理器的脊髓控制器推理延迟 2.19 ms、每次推理 0.87 mJ,推理功耗约 0.4 W。

  6. arXiv cs.AI15

    PreNorm Transformer 中训练依赖的计算语义:架构先于公式

    研究提出"深度学习外在论"(DLE),认为运算的计算角色不仅取决于其输入输出函数,还取决于产生输入和接收输出的过程。作者在维度标记的 PreNorm Transformer 中证明,两个单射生产者上下文可保留全部前驱区分却改变固定局部与注意力接收器族是否等价,并推导出梯度下降下协方差相关的几何衰减与 Q/K-softmax 训练下的 $(t^{-1/2})$ 衰减。

  7. arXiv cs.AI10

    基于稀疏自编码器检索与调控 LLM 高阶语义特征的研究被撤回

    该论文已被作者 Ruikang Zhang 撤回,原因是论文经过大幅重构,新版本已提交为 arXiv:2607.26853。原研究提出基于稀疏自编码器的框架,通过受控语义对立的对比特征检索流程,从稀疏激活空间中提取单义功能特征,并以大五人格特质为案例实现模型行为的双向精准调控,同时提出"功能忠实性"效应。

  8. arXiv cs.AI22

    面向对抗环境下无人机冲突消解的课程自适应鲁棒强化学习

    研究者提出课程引导的自适应框架 CurAd,通过逐步施加梯度对抗观测扰动并对齐各课程阶段的 TD 误差分布,让鲁棒策略泛化到未见攻击。在动态 3D 障碍的无人机冲突消解环境中,固定 GNSS 欺骗攻击下 CurAd 任务成功率达约 99-100%,最优鲁棒基线仅 20-24%;动态障碍诱导欺骗下其回合奖励最高,任务完成步数中位数最多减少 22%。

  9. arXiv cs.AI27

    生成式 AI 在自动驾驶中的应用综述

    一篇综述梳理了生成式 AI 在自动驾驶中的应用,涵盖静态地图创建、动态场景生成、轨迹预测与车辆运动规划等任务,并对比了 VAE、GAN、生成式 Transformer 与扩散模型的能力与局限。文章还讨论了传统方法与生成方法结合的混合方案、相关数据集,以及安全、可解释性、实时性、训练与基准测试五大核心挑战,并给出图像生成、动态场景生成与规划方面的建议。

  10. arXiv cs.AI20

    GATTACA:基于图神经网络的强化学习框架用于控制生物网络

    研究者提出 GATTACA,一个基于深度强化学习的可扩展计算框架,用于控制布尔网络模型以模拟细胞重编程。该框架将图神经网络与图卷积操作融入 DRL 智能体的动作价值函数近似器,并改进了伪吸引子状态的识别方法。在多个大规模真实生物网络上的实验验证了其可扩展性与有效性。

  11. arXiv cs.AI22

    随机错误信号:融合 ML 预测的贝叶斯拍卖设计

    研究者提出一种贝叶斯拍卖模型,将 ML 预测中看似合理却与买家真实支付意愿无关的"幻觉"与普通测量噪声区分开来。在信息性预测完全准确的基准下,该模型刻画了公开披露预测时的收益最大化拍卖机制,并说明单一买家场景下卖家何时应采纳预测、何时应忽略或设置价格上限以对冲预测失败。数值实验显示,据此设计的简单拍卖可达到接近最优的收益。

  12. arXiv cs.AI34

    知识图谱复杂查询问答(CQA)基准真的复杂吗?ICML 2025 研究揭示现有基准缺陷并提出新基准

    研究发现现有知识图谱复杂查询问答(CQA)基准存在缺陷:部分查询类型中高达 98% 的查询可归约为链接预测等更简单的问题,导致对领域进展的认知被扭曲。SOTA CQA 模型在无法归约的查询上性能显著下降。作者据此提出一组更具挑战性的新基准,要求模型进行多跳推理,系统实验显示当前 CQA 方法远未达标。

  13. arXiv cs.AI42

    Guidance-TTT:在测试时训练小模型以解锁更好的科学发现

    研究者提出 Guidance-TTT,将测试时训练拆分为两个角色:一个紧凑的引导模型在测试时被训练,负责提出高层策略改动,冻结的执行模型则将其实现为可执行方案,每步只更新引导模型。该方法无需联网,在 Polyomino Packing、AHC058、Lasso 和 TriMul 四个领域均优于此前工作报告的最佳方案,并与公开在线排行榜的 SOTA 结果保持竞争力。代码已开源。

  14. arXiv cs.AI31

    PyINE:基于代码执行的可扩展引导与监督框架

    研究者提出 PyINE 框架,用带插桩的 Python 程序作为可验证执行基底,实现可扩展的引导与监督。首个版本 PyINE-v1 基于近 100 万条确定性执行轨迹和超 50 万个匹配的 LLM 生成代码变体构建,并训练出一个捷径跟随模型。评估显示,数据集层面的汇总性能会掩盖关键失败模式的覆盖不足:低成本学习型监督器常漏掉罕见的捷径错误,而更强的模型检查更均衡但成本显著更高。

  15. arXiv cs.AI27

    学习事实不等于学会检索:请求形式经验与上下文状态如何影响事实检索

    研究发现,模型学会一个事实并不等于学会如何检索它:在请求形式训练阶段见过同一事实五种表述的模型,与只见过陈述句的模型,在后续相同的新事实训练后,从陈述句检索新事实的表现几乎相同,但在其他请求形式上差异显著。作者将答案前的隐藏状态称为上下文状态,五种形式训练的模型对同一事实的不同请求形式会产生更相似的上下文状态;在检索时改变该状态可启用或阻止已学事实的检索,且该效应可跨事实与事实关系迁移。

  16. arXiv cs.AI41

    Jev 评测能力研究:代码负责模拟,Jev 负责评估

    判断模型 Jev 在单次调用中直接输出各选项概率,研究发现其能力边界清晰:在认知反射测试中答对 99% 的反直觉题目,但在需要模拟输入之外信息的任务中失败,如在 ALFWorld 中会把未洗的刀直接放进抽屉。若由代码提供预测或模拟(如 ALFWorld 的前瞻、机器人控制中的物理模拟),Jev 可凭借通用评估能力成为专家级控制器。

  17. arXiv cs.AI29

    视觉敏感性不等于主张可撤回:多模态强化学习中的持久性感知信用分配

    针对 RLVR 训练中视觉主张缺乏图像支撑的问题,研究者提出持久性感知信用门控(PACG),对异常持久的视觉主张衰减正向信用,无需标注且不增加推理成本。在 Qwen2.5-VL-7B 上,PACG 将九项基准三种子均值从 58.1% 提升至 59.9%(DAPO)、从 59.8% 提升至 60.9%(VPPO),并提升 HallusionBench 准确率。

  18. arXiv cs.AI22

    BMA-GAI:预算约束下的多属性验证实现测试时扩展

    研究者提出 BMA-GAI 算法,将 LLM 答案验证建模为全局预算下的多属性优质臂识别问题,通过成本感知的候选选择与属性自适应采样,在每次观测中同时完成分配引导与随时有效认证,无需单独确认阶段。该算法获得渐近覆盖保证,并推导出匹配的信息论逆定理,证明其在临界预算之外具有一阶最优性。合成基准与 LLM 答案验证任务实验显示,BMA-GAI 比对比方法更高效地分配验证预算,认证出更多高质量候选答案。

  19. arXiv cs.AI38

    智能体知道自己成功了吗?从内部表征校准智能体置信度

    研究提出 Latent Trajectory Dynamics(LTD)与 Action Representation Probe(ARP)两种方法,从模型内部表征预测多轮智能体任务能否成功。在 Bash、SQL、Python 三个交互基准和 Qwen14B、Qwen7B、DeepSeek6.7B 三个模型上,两方法均优于表层生成与序列校准基线,且无需改动提示词或多轮采样,实现零开销可靠性监控。

  20. arXiv cs.AI22

    RetailAgent:自条件多模态 LLM 交易智能体中的结构化不利择时

    研究提出 RetailAgent 框架,让 LLM 观察匿名化日内股价历史与允许状态,在收益揭晓前反复选择做多或空仓。在剔除整体做多比例后,做多与空仓区间的收益对比显示,跨模态、周期、状态与模型族均存在持续的负向择时。打乱已保存的动作序列会显著削弱该效应,说明动作与后续收益的对齐驱动了负分;将自撰记忆注入决策会进一步加剧策略持续性。

  21. arXiv cs.AI35

    PhysElite:LLM 距离解决奥赛级物理题还有多远?

    研究团队发布 PhysElite,一个面向奥赛级物理推理的大规模双语多模态基准,包含 11,586 道奥赛级题目,每题配有图示、中英双语分步解答推导和最终答案。对 18 个开源与闭源 MLLM 的评测显示,最强模型答案准确率仅 33.7%,研究还通过步骤级过程评估诊断模型推理链中的失败环节。数据集已公开。

  22. arXiv cs.AI38

    Parason:揭示 LLM 推理中的子任务并行与试错并行

    Parason 通过无上下文语法将 LLM 的串行推理轨迹转为结构化并行轨迹,并用 PA-GRPO 训练模型同时学习子任务并行与试错并行。分析显示试错并行占 DeepSeek-V4 在 HLE 推理步骤中可并行计算的 65.5%,且在难题上占比更高。在 AIME24 和 AIME25 上,Parason 平均加速约 1.7 倍并保持有竞争力的准确率。

  23. arXiv cs.AI29

    ParallelWorld:面向智能体具身推理的测试时扩展框架

    针对智能体具身框架直接执行动作、不模拟替代动作序列后果的问题,研究者提出 ParallelWorld——一种自适应视界的测试时扩展框架,通过并行模拟与评估多条候选轨迹,由验证器评估中间状态转移、动态剪枝并引导扩展,再选择轨迹仅执行首个动作并随新观测重新规划。在 ESI-Bench 与 LIBERO-Pro 上,该方法分别提升了主动空间推理与语言条件操作的表现。

  24. arXiv cs.AI25

    Emotion2Skill:用模型内部情绪信号实现自适应技能选择与进化

    Emotion2Skill 框架提取 LLM 内部情绪向量,并将其用于技能选择与技能进化,通过追踪情绪表征变化识别有问题的技能调用以做针对性改进。在两个骨干模型上它优于七个基线,Qwen3-8B 上 WebShop 成功率超 Trace2Skill 3.1 个百分点、ALFWorld 平均成功率超 5.7 个百分点。相同情绪向量无需重新提取即可迁移到 MATH 和 MBPP,代码已开源。

  25. arXiv cs.AI31

    阅读不等于推理:视觉-文本压缩中的智能体策略鸿沟与 CAPS 框架

    针对视觉-文本压缩导致智能体能力下降的问题,研究者提出两阶段跨模态智能体策略自蒸馏框架 CAPS,用同一模型更强的文本历史策略监督其视觉历史策略。在 SearchQA 上,CAPS 以 3B 和 7B 骨干分别比 AgentOCR 提升 5.0 和 3.4 个百分点;在完整历史 ALFWorld 上分别提升 15.6 和 14.5 个百分点。

  26. arXiv cs.AI22

    大语言模型如何辅助偏微分方程工作流:一篇综述

    一篇综述梳理了 LLM 辅助偏微分方程(PDE)研究在发现、求解与优化三个阶段的进展,考察 LLM 如何结合物理知识、数值方法与计算反馈来构建模型、实现求解流程并指导设计与控制。文章还回顾了评估科学有效性、计算性能与工作流可靠性的现有基准与评测实践,并提出面向特定 PDE 问题的数学与物理推理、通过领域专用与多模态后训练构建可迁移专业知识、以及将主动实验设计与科学验证相结合三个挑战方向。

  27. arXiv cs.AI29

    LaCache:面向 LLM 服务的鲁棒语义缓存

    LaCache 是一种面向 LLM 服务的语义缓存重设计,将完整性校验从查询转移到响应,额外检查查询前 k 个推测解码 token 的缓存命中,从而可证明地防御缓存碰撞攻击。分析证明其能以高概率检测产生语义不同响应的攻击,跨多种 LLM 和基准的评测显示攻击命中率降至接近零,同时保留超过 90% 的正常缓存效用。该工作入选 NeurIPS 2026。