面向 人工智能（AI，Artificial Intelligence） 计算机使用智能体的跨接口授权协议
研究提出一种面向固定版本计算机使用部署的 profile 限定授权协议，通过枚举带效果的路径与持久写入点、将请求归一化为规范效果并签发路由绑定的准备票据，在提交时再次校验路由、效果、授权与状态。
全部 AI 动态
arXiv · cs.AI模型评分4444 arXiv · cs.AI模型评分3232 在线证据包含预测（OECP）：跨文本片段的差异化查询验证调度
研究者提出在线证据包含预测（OECP，Online Evidence-Containment Prediction），要求每个候选片段在精确验证前先做预测且最多查询一次，把片段包含关系形式化为三角二维乘积序，从而转化为差异化查询的在线等渗回归问题。
arXiv · cs.AI模型评分3939 Ask on Demand：面向并行智能体系统的定向同伴通信框架
研究者提出 Ask on Demand（AOD）通信框架，让并行大语言模型智能体在出现具体信息需求时向同伴发起定向求助，由框架检索同伴执行历史中的相关证据并生成针对性回复。团队用最终任务结果与推理成本训练一个轻量门控，判断何时求助值得。在 AppWorld 和 WebShop 上，AOD 的任务表现优于独立并行执行，推理成本低于现有信息共享基线。
arXiv · cs.AI模型评分4747 BULLPEN：用多通道模型嵌入实现样本高效的大语言模型画像
BULLPEN 框架在 EmbedLLM 基础上扩展，首次将模型自身回答文本与正确性、问题文本联合编码，并新增 20 个行为、风格与来源类任务基准。在 260 个开放权重模型上，其回答文本编码器在新任务上得分 0.48±0.10，优于此前最佳编码器的 0.35±0.10；仅用 400 个问题即可保留全量问题池至少 91% 的能力，推理计算量约为全量池的 1.3%。
arXiv · cs.AI模型评分4444 RECITE：用文本证据自动修订临床试验入组标准
研究团队提出 RECITE 框架，可从方案修订文档中自动发现、抽取并落实有证据支持的入组标准修订，并基于 5,735 项试验构建了 11,913 条配对数据集。
arXiv · cs.AI模型评分4242 LEAP：用可泛化长度预测实现高效 大语言模型（LLM，Large Language Model） 推理调度
研究者提出长度预测系统 LEAP，复用服务模型预填充阶段的隐藏状态，通过线性读出提取输出长度信号，并在测试时用递归最小二乘法在线更新，无需梯度计算或历史数据回放。跨域迁移实验中，在线适配使 Spearman 相关系数提升 64.7%；服务实验中，相比所评估的长度预测器，LEAP 将平均每 token 延迟降低 15.9–40.8%，吞吐量提高 1.9%，预测器参数量少 30,569 倍。
arXiv · cs.AI模型评分3333 MarketImage 诊断框架：交易价格能否反映视觉偏好
研究团队提出 MarketImage 诊断框架，用 266 组六图对比集和保留平局的价格-人类排序协议，检验交易价格何时反映视觉偏好。结果显示仅 24.2% 图像对有非平局价格方向，其中 34.7% 与人类多数一致，HPSv2 在该区域以 66.4% 可恢复准确率领先。作者认为交易价格只能作为不确定的代理信号，而非真实偏好标准。
arXiv · cs.AI模型评分4343 Operon-S1：面向长程生物医学智能体的快速决策控制器
Operon-S1 将生物医学智能体的判断与执行分离，在 13 个决策点用封闭问题接管判断，本地决策模型在 CPU 上以 0.6 秒中位延迟完成环内请求且不产生请求费用，六个基准中五个分数无可测变化。若改由驱动智能体的通用语言模型回答同样问题，任务成本将增加 8.0% 至 35.2%。该系统已用于湿实验方案排障和生殖系靶向富集 panel 设计。
arXiv · cs.AI模型评分3737 SERIAL-7：面向七种表示的可执行验证基准，衡量机器可验证输出
SERIAL-7 是一个韩英双语基准，用可执行验证框架检验大语言模型在七种表示上的机器可验证生成，包含 177 个经校验的规范产物和 43 条原子表示约束。它把任务拆成语义推导、受限产物生成和跨表示保持三步，并逐级加严检查格式、结构与任务语义。在十个模型上，REALIZE-L3 的 HSR 从 42.0% 到 93.9%，完全合规检查还暴露出最终答案正确、表示合法之外的产物级失败。
arXiv · cs.AI模型评分5959 研究显示模型特质可通过评审模型打分在强化学习中传递
一项 arXiv 论文发现，在基于语言模型评审打分的后训练中，学生模型即使只看到自己生成的音节或数字，其偏好也会向评审模型偏好的动物方向移动。在 48 个设计单元中，17 个在 5% 错误发现率下确立了特质传递，仅含数字的单元也在其中；只去掉评审之间的奖励差异，传递就消失。
arXiv · cs.AI模型评分3232 用辅助奖励实现自我改进：从已验证推理轨迹中学习并评估迁移效果
研究比较了基于置信度和基于熵（UID-Conj.，结合全局熵变化与局部平滑度）的辅助轨迹偏好，能否提升小语言模型在有限监督下的自我改进与迁移。
arXiv · cs.AI模型评分3232 SAT-ACT：从结果推导的动作偏好中学习 冲突驱动子句学习（CDCL，Conflict-Driven Clause Learning） 分支决策
SAT-ACT 提出一种从结果推导的学习框架，用于冲突驱动子句学习（CDCL，Conflict-Driven Clause Learning）求解器的分支决策。
arXiv · cs.AI模型评分2626 SciGraphSelect：用知识-推理图实现可审计的科学数据筛选
SciGraphSelect 提出一种基于知识-推理图的可审计科学数据筛选框架，通过概念覆盖、关系与路径共支撑及方向对齐为候选文档打分。该框架将领域知识、可复用推理操作和参考文献佐证的关系组织为带类型图，并公开每次筛选背后的证据，使科学训练语料的上游构建过程可追溯。
arXiv · cs.AI模型评分4545 从1D基准到复杂3D几何：智能体能否可靠地为自动化偏微分方程（PDE，Partial Differential Equation）仿真描述问题？
研究评估人工智能（AI，Artificial Intelligence）智能体能否为自动化偏微分方程（PDE，Partial Differential Equation）仿真构建完整可执行的JavaScript 对象表示法（JSON，JavaScript Object Notation）规格，覆盖几何创建、网格划分、求解与结果导出。
arXiv · cs.AI模型评分4747 研究提出 CivMarshmallow：用回放验证的奖励信号训练长时程 Freeciv 智能体
研究团队构建 CivHarness 系统，可保存 Freeciv 游戏状态、在不同决策处分支并回放到未来回合，为长时程对局提供可测量的反馈。基于此训练的 大语言模型（LLM，Large Language Model） Judge 模型 CivTelescope 在“记分板陷阱”局面上的判断准确率是现成语言模型的 1.3-2.0 倍。
arXiv · cs.AI模型评分3434 MEMIG：面向抗体优化的自进化记忆构建框架
MEMIG 提出一种面向生物分子优化的智能体记忆构建框架，把经验记录改为可索引、定量、结构化的形式，而非自由文本重写。它用领域标识符定位每条经验并累积性质预言机测得的定量效应，使更新保持局部、检索变为精确查找，还能连接联合施加的干预并分解评估集来度量其上位效应。在计算机抗体优化任务中，MEMIG 在多数设置下提升了表现。
arXiv · cs.AI模型评分3232 专家存在结构化冗余：面向混合专家大模型的保结构专家剪枝方法
研究提出保结构专家剪枝框架，包含投影能量专家剪枝（PEEP，Projection Energy Expert Pruning）和分布覆盖专家剪枝（DCEP，Distributional Coverage Expert Pruning）两种方法，利用路由器权重作为先验，在保留专家间全局结构关系的同时兼顾单个专家重要性。
arXiv · cs.AI模型评分3535 TRIDENT 与 SHAKTI：印地语 人工智能（AI，Artificial Intelligence） 文本检测框架与基准
研究团队发布印地语 人工智能（AI，Artificial Intelligence） 生成文本检测基准 SHAKTI，覆盖四种文体、八个大语言模型（LLM，Large Language Model）家族及多种提示策略与对抗变换。
arXiv · cs.AI模型评分4141 RTL-Interact：训练可调用 EDA 工具的多任务 RTL 设计模型
研究团队提出多任务后训练框架 RTL-Interact，让单个模型生成 RTL、构造任务对应的 EDA 检查并依据工具反馈修改实现。在 CVDP 上，RTL-Interact-32B 取得 48.7% 加权 Pass@1 和 68.9% Pass@5，超过其教师模型 DeepSeek-V3.2，8B 版本加权 Pass@1 为 44.9%。
arXiv · cs.AI模型评分5454 研究者提出人在回路演化流程，发现纠缠辅助量子纠错码族
研究者提出一条人在回路的发现流程，把程序演化、精确评估、数学推广、不存在性验证与形式化证明检查结合起来，用于寻找纠缠辅助量子纠错码（EAQECC，Entanglement-Assisted Quantum Error-Correcting Code）。
arXiv · cs.AI模型评分3838 ImplicitHop：评估大语言模型跨上下文与记忆的知识整合能力
研究者提出 ImplicitHop 基准，包含形式化图基准和基于真实知识图谱的知识组合基准，用于评估大语言模型（LLM，Large Language Model）在不同推理深度下的演绎推理与知识整合能力。测试显示，无论知识来自预训练权重还是上下文，准确率都随组合长度增加而急剧下降，但上下文提供的信息明显优于权重中编码的信息。该结果量化了当前模型在提示词控制智能体行为和持续学习方面的根本局限。
arXiv · cs.AI模型评分3636 TARGRS：通过过渡感知奖励引导表征采样实现 大语言模型（LLM，Large Language Model） 去毒
研究者提出测试时去毒框架 TARGRS，通过在潜在表征空间学习毒性过渡的奖励引导，在 10 个大语言模型（LLM，Large Language Model）上把 RealToxicityPrompts 的毒性最高降低 69.38%。
arXiv · cs.AI模型评分4848 FrontierMat：面向材料研发前沿的语言模型基准测试
研究团队推出 FrontierMat 基准，包含 330 道来自航空航天、半导体、具身智能和核聚变等前沿研究与工业实践的问题，每题均由领域实验专家验证。最强通用模型仅得 53.7%，跨尺度推理题比单尺度题低 8.7 分，一半题目最多只有一个模型能解出。采用元加权持续预训练与尺度模块化自蒸馏的领域适配方法，可将开源模型从 36.7% 提升至 55.4%，追平最强闭源模型。
arXiv · cs.AI模型评分3030 用代理辅助遗传编程实现动态柔性作业车间调度规则的终身学习
针对遗传编程学到的调度规则在任务特征变化时性能明显下降、在新任务上微调又会丢失旧知识的问题，一项研究提出面向动态柔性作业车间调度的代理辅助遗传编程终身学习方法，可依次处理作业到达或批量到达的异构任务。该方法包含自适应两阶段训练、基于任务相似度的加权机制和带距离约束的改进代理模型三部分，实验显示其能缓解灾难性遗忘并保持较强适应性，优于多个对比方法。
arXiv · cs.AI模型评分3535 CPA：反事实成对增强提升小型逐点 大语言模型（LLM，Large Language Model） 评判器
研究者提出反事实成对增强（CPA，Counterfactual Pairwise Augmentation），为每个逐点样本合成并审核一条同查询、标签相反的反事实回答，把接受的样本对转为成对任务，与逐点数据联合微调后仍以逐点模式部署。
arXiv · cs.AI模型评分3636 人工智能（AI，Artificial Intelligence） 智能体何时该向人提问？有限注意力下的澄清请求协调策略 PCP
研究提出成对协调策略（PCP，Pairwise Coordination Policy），用于协调多个共享同一名有限注意力人类的 人工智能（AI，Artificial Intelligence） 智能体在搜索、询问或继续任务之间的决策。
arXiv · cs.AI模型评分4242 研究：GPT-5 mini 与 Grok 4 Fast 超九成外部知识问题会搜索，Mistral Small 仅两成
一项新基准用 400 道选择题测试五个商用大语言模型（LLM，Large Language Model）何时该搜索、何时该直接作答，题目分为应直接回答的已知知识和训练截止后新闻类外部知识两类。
arXiv · cs.AI模型评分4444 帕累托自适应压缩（PACE，Pareto-Adaptive Compression for Efficient Native MLLMs）：用重复人工评分预测代理优化下的人类收益曲线
研究者提出 帕累托自适应压缩（PACE，Pareto-Adaptive Compression for Efficient Native MLLMs）（Proxy Alignment and Curvature Expansion），一种优化前诊断方法，利用重复人工评分预测固定代理目标带来的人类感知收益曲线，将局部收益近似为 A√d+Bd。
arXiv · cs.AI模型评分3737 基于 HiFloat4 格式的大模型量化校准方法研究
研究提出 HiGPTQ、HiAutoRound 和 HiFlatQuant 三种校准方法，用于 HiFloat4（HiF4）这一采用三级缩放层级的分块浮点（BFP，Block Floating-Point）4-bit 量化格式。实验显示三种方法均比直接转换为 HiF4 提升推理精度，将 HiF4 与 BF16 的差距缩小至 1% 以内，并在多种模型和下游任务上优于 NVFP4 格式。
arXiv · cs.AI模型评分3535 Smooth Rank t 分布随机邻居嵌入（t-SNE，t-Distributed Stochastic Neighbor Embedding）：为 t-SNE 加入可微排序项以保留邻居顺序
研究者提出 平滑排序随机邻居嵌入（SR-tSNE，Smooth Rank t-Distributed Stochastic Neighbor Embedding）。
arXiv · cs.AI模型评分4545 分位数对齐（QUAL，Quantile Alignment）：分位数对齐提升零样本时间序列基础模型
研究者提出免标签框架分位数对齐（QUAL，Quantile Alignment），利用模型池作为概率参考对齐各成员预测，再经Huber聚合与重排得到稳健组合预测，无需训练或改动模型。
arXiv · cs.AI模型评分3636 研究：业务语义变化后如何重新验证 文本转结构化查询语言（text-to-SQL，Text to Structured Query Language） 查询
一项研究提出可执行验证配置，在退款归属、税务处理等业务定义变化后重新校验固定 结构化查询语言（SQL，Structured Query Language） 查询，在 32 个新编写的修订族中保留 192 个查询-定义单元，其中 144 个不符合。
arXiv · cs.AI模型评分3434 CIRCE 利用约束结构预测 大语言模型（LLM，Large Language Model） 任务复杂度
CIRCE 通过廉价 大语言模型（LLM，Large Language Model） 构建约束中间表示并编译成约束图，在模型尝试解题前预测其回答是否正确。
arXiv · cs.AI模型评分3333 合成 HR/ERP 图谱中的薪资欺诈检测：规则、路径特征与图神经网络的归纳式对比
一项在合成人力资源与企业资源规划（HR/ERP）图谱上的研究，把薪资欺诈筛查建模为归纳式链接预测与实体排序，在 24 个留出组织上对比分析员规则、显式路径特征和图神经网络（GNN，Graph Neural Network）。
arXiv · cs.AI模型评分3434 用优化算法求解最小红蓝分离集问题，并应用于人类与 人工智能（AI，Artificial Intelligence） 文本区分
研究针对计算几何中的最小红蓝分离集问题（MRBSSP，Minimum Red-Blue Separating Set Problem）提出紧凑集合覆盖整数线性规划（ILP。
arXiv · cs.AI模型评分4848 BABA-Bench：评估长程患者权益代理的基准
研究团队构建了 BABA-Bench，包含 47 个由真实患者权益案例脱敏改造的交互环境，用于检验 人工智能（AI，Artificial Intelligence） 智能体（Agent）能否在达成正确结果的同时遵守必要流程。
arXiv · cs.AI模型评分5656 LanG 2.0 提出用小型本地模型做大规模安全运营的智能体系统
LanG 2.0 是一个面向安全运营中心（SOC，Security Operations Center）的智能体系统，负责检测威胁、关联证据并编写规则，研究小型本地模型能否在结构性防护而非模型准确率提供保障的前提下，低成本且安全地替代前沿模型。
arXiv · cs.AI模型评分4646 去中心化 大语言模型（LLM，Large Language Model） 团队如何用于周界防御：共识机制与集中指挥的对比
一项 arXiv 研究在简化的周界防御模拟中对比了集中指挥官、基于拍卖的共识团队和独立智能体三种大语言模型（LLM，Large Language Model）团队架构，共识团队的入侵率最低，为 15%，集中指挥官为 32%，独立智能体为 29%。
arXiv · cs.AI模型评分4949 能力锚定的智能体规划（CGAP，Capability-Grounded Agentic Planning）：让 大语言模型（LLM，Large Language Model） 智能体基于工具能力做可执行规划
研究者提出能力锚定的智能体规划（CGAP，Capability-Grounded Agentic Planning），先把工具目录确定性地编译为规划领域定义语言（PDDL，Planning Domain Definition Language）模型，再由 大语言模型（LLM，Large Language Model） 将请求转为目标并交给经典规划器求解。
arXiv · cs.AI模型评分6767 ReplayRCA 基准发布：用反事实重放衡量智能体失败的诊断与实时监督
研究者提出 ReplayRCA 基准，用反事实重放给智能体失败诊断打分：把环境恢复到出错步骤之前，用诊断模型给出的动作替换原动作，再让同一智能体继续执行，以继续成功率的提升幅度作为因果修复分数。