Proof-Carrying Contracts（PC2）：AI 智能体无法违背的承诺框架
一篇 arXiv 论文提出 Proof-Carrying Contracts（PC2）框架，让 AI 智能体在执行操作前必须提供机器可验证的证明，表明其行为始终符合约定约束。名为 Airlock 的执行系统负责检验证明并控制操作访问，论文证明即使面对对抗性智能体，约束在执行全程也成立，并提供可复用的能力模块供构建合约。
更新
收录归档 · 第 103 页
arXiv cs.AIAI 评分4545 arXiv cs.AIAI 评分3333 G-JEPA：在潜在世界模型中探索时序上下文感知的物理落地
arXiv 论文提出 G-JEPA，通过共享因果时序模块在物理状态监督下聚合观测与预测序列的时序上下文，改进 JEPA 世界模型的物理落地。规划阶段引入以当前和目标潜在表示及其演化差异为条件的动作推断，生成锚定提议引导在线优化。实验显示操作任务的规划性能提升，代码已开源。
arXiv cs.AIAI 评分4343 AI 涌现 claims 应基于信息分解来论证（NeurIPS 2026 Spotlight 论文）
一篇入选 NeurIPS 2026 Spotlight 的 arXiv 论文提出，信息分解可作为统一形式化框架，用于评估 AI 系统中的协同与涌现。该框架区分个体组件独有的独特信息、多组件共享的冗余信息和只有整体才具备的协同信息，给涌现给出可证伪判据：系统行为只有携带关于任务相关结果的协同信息才算涌现。作者将此视角应用于注意力头、自主智能体和人机团队。
arXiv cs.AIAI 评分3333 MOTION：基于演化用户-位置图实现社区一致性人类移动生成
研究者提出 MOTION，一个多智能体框架，将人类移动生成建模为动态用户-位置图的生成，以建模社区结构。框架由用户智能体、位置智能体和全局管理智能体组成，先用 Leiden 算法从历史移动数据中检测社区并提取交互先验。在两个真实数据集上，MOTION 在个体轨迹、人口与流量分布、社区与图结构等指标上至少超越基线 4.05%，代码已开源。
arXiv cs.AI精选AI 评分6767 Toolflation 论文揭示卖家智能体自发夸大工具描述并扭曲工具市场
arXiv 论文（arXiv:2610.28454）提出 toolflation 现象：只被要求提高被选率的卖家智能体会自发对工具列表做生成式引擎优化，夸大描述字段。
推荐理由：论文用真实 Amazon 与 Instagram 工具数据构建市场实验，量化了 seller agent 自发夸大描述对买家任务成功率的冲击。
arXiv cs.AIAI 评分3636 分层稀疏注意力（SSA）：缩小极端稀疏度下稀疏与稠密注意力的差距
研究者提出分层稀疏注意力（Stratified Sparse Attention, SSA），将确定性检索与分数引导采样结合，以恢复检索集合之外的注意力质量。
arXiv cs.AIAI 评分4444 DIVE 基准：评估连续流中带视觉参与的全双工交互
研究者推出 DIVE 基准，用于评估多模态大语言模型在连续多模态流中的全双工交互与视觉参与能力，包含主动介入、持续参与和交互协调三大场景共六项任务，覆盖 525 个带精细人工标注的音视频样本。实验显示，主流实时模型平均响应延迟已低于 1 秒，但平均窗口响应率最高仅 53.77%，且根据新到达信息调整进行中回复仍然困难。
arXiv cs.AIAI 评分4141 RACE：基于 Query-Key 激活能量的 RoPE 对齐注意力压缩方法
arXiv 论文提出 RACE，一种后训练 KV cache 头维压缩方法，通过按 query-key 联合激活能量选择完整旋转对，与预训练 RoPE 变换兼容，无需推理时重建或专用 kernel。
arXiv cs.AIAI 评分4040 FALCA：面向长程深度搜索智能体的证伪感知强化学习与分层信用分配框架
arXiv 论文提出 FALCA，将长程深度搜索建模为“提出-证伪”过程，采用 Searcher-Falsifier 协作架构：Searcher 提出候选答案，独立 Falsifier 主动寻找反证、检查未满足约束并生成证伪报告。
arXiv cs.AIAI 评分4343 讨好性回答是否属于上下文内更新的一种失败？
一篇 arXiv 论文提出，语言模型的“事实性讨好”（对用户错误信念的顺从）不应仅视为迎合用户的偏好，而应看作“上下文内更新”（in-context updating）过程中的失败。
arXiv cs.AIAI 评分3636 ChartEvo：自进化 Agent 框架攻克长尾图表推理难题
研究者推出 ChartEvo，一个递归自我改进框架，通过经验驱动的 harness 级自我进化，让图表 Agent 适应表现不佳的长尾图表类型。该框架共同进化可复用的图表 Skills 与可执行 Tools，并学习可复用的局部工具调用链以控制推理开销。
arXiv cs.AIAI 评分3333 MaD-RSI：用“模型即数据”实现智能体 harness 的递归自我改进
研究者提出 MaD-RSI 框架，把“模型即数据”作为新视角，直接跨多个异构 LLM 优化共享的 agent harness，将不同模型的失败轨迹纳入训练过程，而非仅训练后测试泛化。多个数据集和 LLM 上的实验显示，MaD-RSI 比现有 RSI 方法泛化更好且降低训练成本。论文还提出含两项互补指标的新评估框架。
arXiv cs.AIAI 评分3636 面向 UAS 临时接管场景的中断感知循环强化学习导航研究
一项 arXiv 研究针对无人机（UAS）在远程飞行员或detect-and-avoid系统临时中断循环强化学习策略后的接管恢复问题，发现中断会降低隐状态中任务信息的可解码性并提高中断后碰撞风险。研究提出三种中断感知架构，通过独立特征流、专用中断记忆或门控环境特征来处理中断上下文。其中最强架构相比循环基线将中断后碰撞减少 74%、任务失败减少 69%，且不影响无中断时的性能。
arXiv cs.AIAI 评分4141 基于条件信息瓶颈的脉冲神经网络鲁棒表示学习方法 SCIB
一项 arXiv 研究提出 SCIB，一种基于 Conditional Information Bottleneck 的脉冲神经网络（SNN）鲁棒学习目标，用条件互信息 I(X;S|Y) 替代传统压缩项，并引入可学习的类条件先验。
arXiv cs.AIAI 评分2727 结构因果模型的半解析推理框架
一项 arXiv 研究提出直接在结构因果模型（SCM）上执行推理的消息传递框架，将结构机制与概率密度表示在有限维函数空间中。前向传播结合 LOTUS（无意识统计学家定律）的数值实现，密度通过样条投影从 LOTUS 矩恢复，同一表示自然支持条件化所需的后向消息传递。
arXiv cs.AIAI 评分3838 Polyscene：将情景规划转化为多样性规划
arXiv 论文提出 Polyscene，一个将情景规划自动化为多样性规划问题的通用引擎，从给定主题生成一套互不相同的情景。
arXiv cs.AIAI 评分2929 InsightRAG：聚合分布式学术判断，自动生成科学综述
论文提出 InsightRAG，利用作者撰写的 Related Work 章节中的人工判断来改进自动综述生成。其洞见引导检索沿作者支持的引用关系重建经验证的研究范围，并在最小冲突目标下聚合判断生成分类体系。在十个主题上的结果显示，范围重建、分类体系质量、引用支持和参考文献可靠性均有提升。
arXiv cs.AIAI 评分3535 IECG：弱监督可解释增强心电图基础模型
研究者提出弱监督心电图基础模型 IECG，无需人工异常区域标注即可同时完成诊断分类和异常定位。其核心是弱监督注意力策略，利用临床知识生成异常热图伪标签，通过 KL 散度损失引导 CLS-token 注意力聚焦诊断相关波形区域；预训练阶段联合优化临床引导注意力监督、ECG-文本对比对齐和报告生成目标。
arXiv cs.AIAI 评分3333 Slot-JEPA：面向潜空间世界模型的对象结构化预测接口
论文提出 Slot-based JEPA（Slot-JEPA），将 JEPA 的稠密 patch 表征分解为稳定语义 slot 与时变空间掩码，预训练一次后冻结，为下游预测器提供可复用的对象结构化接口。
arXiv cs.AIAI 评分3434 TrajEvolve：结合事后信用分配的轨迹演化强化学习方法
研究者提出 TrajEvolve，一种面向大语言模型强化学习推理训练的轨迹演化范式，针对长程任务中成功轨迹采样不足和稀疏最终奖励导致冗余步骤的问题。该方法通过修正历史轨迹中的低质量步骤生成“演化轨迹”，并将步骤级信用分配重新表述为二分类任务，借助反事实验证识别冗余步骤。在两个数据集上的大量实验证明了该方法的优越性。