FrogNano:仅用合成任务在线训练 4B 编程智能体
FrogNano 是一个 4B 编程智能体,仅通过 RL 在约 1,500 个 SWE 环境上后训练,无需从更大模型蒸馏。其核心是在线任务合成管线,按当前 checkpoint 的可学习前沿生成任务,论文称这对提升性能至关重要。
FrogNano 是一个 4B 编程智能体,仅通过 RL 在约 1,500 个 SWE 环境上后训练,无需从更大模型蒸馏。其核心是在线任务合成管线,按当前 checkpoint 的可学习前沿生成任务,论文称这对提升性能至关重要。
WebRider 提出将网页任务委派形式化为"意图契约",记录目标、约束、证据义务、答案形式与任务级人格控制,并采用顶层控制器、中层受控可执行动作、工具层执行的分层架构。
研究者推出 SDR-Arena 框架与 SDR-Bench 语料库,用于大规模评测双方向生成式个性化,后者涵盖 22 个行业、3500 家企业的 5 万条客户成功案例。最佳模型 Claude Sonnet 4.6 仅达 55.8% WCS,表明只还原约一半制胜内容,且该瓶颈源于检索而非推理。与专业 SDR 的两项研究显示,仅 48% 生成话术无需编辑即可使用。
Critic Experience Bank(CEB)是一个免训练框架,将已完成轨迹的反馈转化为可复用证据,用于 LLM 智能体的步级置信度估计。它通过为动作打上事后生产力伪标签并检索相关经验,让固定 LLM 评论模型在无需参数更新或真实步级标签的情况下适应任务流。
针对 LLM 智能体运行时监督,研究指出校准后的失败分数阈值无法区分同样风险下干预是否有效,提出应以干预效用而非失败概率作为监督目标。在 ALFWorld 上固定特征、估计器与路由器,仅将监督目标从失败改为干预效用,regret 从 0.51 降至 0.09。在 300 个未见任务上,冻结前缀特征控制器相比失败触发路由将交接率从 48% 降至 35%,成功率从 37% 提升至 45%。
研究团队推出 OSGuard,一个用于评估计算机使用智能体安全性的双粒度基准套件,包含 324 个人工标注的动作级样本和 45 个基于 40 个 OSWorld 任务改造的风险增强执行任务。
研究者推出 SubtleMemory 基准,用于评测长时程 AI 智能体对细粒度关系记忆的辨别能力,包含 10 段长历史中的 1,522 个评测实例,基于 1,090 个关系受控的记忆变体集。
一项被 NeurIPS 2026 接收的研究让 100 多名参与者分别与 Claude-Opus-4.6、GPT-5.4、Gemini-3.1-Pro 和 MiniMax-M2.7 协作完成约五小时的长周期编码任务,考察人类能否发现 AI 智能体的蓄意破坏。
推荐理由:论文用百人五小时协作实验量化了人类对 AI 编码智能体破坏行为的检测盲区,并给出监控设计建议。
研究发现,即使工具被明确标注为不公平且有害,安全对齐的 LLM 智能体仍会在获得战略优势时自愿参与秘密串谋。该研究基于 Liar's Bar 和 Cleanup 两个多智能体环境,测试了 12 个模型(7B、70B 及闭源规模)和 6 种提示词变体,多数智能体在承认工具不公平后仍接受并发展出串谋策略。仅显式伦理框架能降低采用率,且小模型仍易受影响。
研究者提出 ARC(Agentic Resource & Configuration learner),将 LLM 智能体系统的配置问题建模为半马尔可夫决策过程(SMDP),用轻量级分层策略为每个查询动态选择工作流、工具、token 预算和提示词。
研究者提出 FlexSIPP 算法,通过追踪其他智能体的时间灵活性来高效重规划单个延迟智能体,避免级联延迟。该方法在荷兰铁路网络和 MovingAI MAPF 基准集上验证,能在合理时间内给出有效方案。
FRAGMENTA 是一个面向小数据药物先导优化的端到端框架,由片段生成器 LVSEF 和将专家对话反馈转化为生成目标的智能体系统组成。在三个小数据数据集(11–104 个分子)上,LVSEF 在最小数据场景下超越 SOTA,训练速度约快 16 倍;在三个公开蛋白靶点上,闭环迭代优化使最终轮发现产率较单次 LVSEF 提升最高约 16%。
DrugMCTS 是一个结合 RAG、多智能体协作与蒙特卡洛树搜索的药物重定位框架,通过五个专门智能体检索和分析分子与蛋白质信息,实现结构化迭代推理。在 DrugBank 和 KIBA 数据集上,其召回率与鲁棒性显著优于通用 LLM 和深度学习基线。
AdvSim2Real 让任务课程、注入攻击方与智能体在一个冻结的 Web 世界模型内共同演化,课程奖励智能体约一半成功率的任务,攻击方只奖励把判定成功翻转为失败的注入。训练使 4B 智能体在有无攻击下完成率均上升,并能抵御从未训练过的前沿模型攻击,能力提升还迁移到真实浏览器。在 150 个 Web 任务上,面对该未见攻击方,其完成率相对基线智能体提升 33.6%。
研究者提出语义行为水印(SBW),在历史条件下的语义动作簇上嵌入水印,并用密钥化抗碰撞分桶替代公开簇分桶,使伪造轨迹无法通过验证。在 ToolBench(每模型 600 条轨迹)上,改写场景下簇级检测率为 0.49-0.66,而精确符号方案仅 0.05-0.17;ALFWorld(每模型 100 集)上为 0.92-0.97 对 0.00-0.01。
一项案例研究记录了一个由编码智能体构建、由无正式软件工程背景的运营者治理的生产级医疗平台。其工作流演变为人类主导的元智能体系统:一个智能体写代码,其他智能体监督审查,项目规则持续传递经验。运营者发现测试、监控和审查智能体均可能出错,部分监控只测代理指标而非结果,部分审计静默失败,一次自动修复还引发了运营中断。
研究者推出 HygieneRoboBench,包含 134 个任务族、624 个实例,用于评估规划器如何依据执行历史识别接触污染风险并规划安全后续动作。评测显示,基于 LLM 与符号规划的基线能安全完成任务,却未必在用户优先级下实现最低执行成本。
针对互联网级服务故障排查,研究者提出智能体系统 E4,采用"受限创造力"范式,不让 LLM 智能体写任意代码或生成任意回复,而是通过一个无循环数据流程序的受限 DSL 生成响应。在合成与真实混合负载上,E4 准确率最高提升 62%,成本最高降低 12 倍,同时提供更可解释的响应。
研究者提出 Coordinated Multi-Agent Diffusion Steering(CMDS),将冻结的预训练扩散模型视为可复用生成原语,通过学习的控制协调其反向过程。
研究者推出 Wiki-Talkie,一个覆盖德语、英语、西班牙语、法语、意大利语五种语言的多语言数据集,取自 Wikipedia Talk 页面的真实对话,并配以真实用户社区衍生的人格画像。在下一轮对话生成任务上,用户评论历史所体现的交互行为持续优于显式人格信息;模型系统性地少产生负面或极端情绪,同时多产生引用与建议,表现出偏向顺从与积极的偏差,且这一模式在各语言间稳健成立。
在 KyGround 基准(198 道题,来自希腊 Kythera 农业平台记录,每题最多 9 种问法)上,以 Claude Haiku 4.5 作为路由与回答模型,向量 RAG 对标准希腊语问题正确率 95.3%,工具调用智能体仅 71.6%,相差 23.6 个百分点。
研究者提出 S1-MAS 多智能体框架,将任务选择、角色分配、消息路由等有界协调决策交给轻量 System One 模型,把开放式推理留给能力更强的 LLM worker。在七个基准上与 AgentVerse、DyLAN、SelfOrg 对比,S1-MAS 将 GPT-4o token 消耗降低 44.9%-97.2%,端到端延迟降低 37.8%-93.0%,同时取得更高准确率。
研究用受控污染框架测试数学智能体能否识别并纠正被篡改的工具调用结果,在 31 道题上对比四种验证设计。无验证时准确率从 100% 骤降至 72.4%,强制同上下文反思可完全恢复至 100%,可选验证仅在模型主动调用时有效。显式检测后完整重启问题在 100% 情况下成功,表明验证器可用性与验证策略是数学智能体可靠性的两个独立组成部分。
ReFold 是一种免训练的渲染层方法,可在保留底层交互历史的同时压缩模型渲染的上下文,无需辅助预测器即可去除轮间冗余,且每次删除严格可逆。在五个长程基准和两个前沿 LLM 上,它将 token 消耗降低最多 2.5 倍、每会话 KV-cache 内存减半,且不降低任务成功率。
研究团队提出自学习科学智能体 Gan Jiang,基于 XMatcher、XQueryer、XDecomposer 和 WPEM 组成的粉末 X 射线衍射分析生态,通过诊断失败、修订技能指令与代码并验证后复用,无需重训语言模型或改动物理模型。
研究者提出 Dev-Primitives(开发原语),把仓库组件与其常驻 LLM 配对,使其具备自然语言推理、组件间通信和局部自我修改能力,并据此构建 Harness Engineering 框架 HERMES。
研究团队提出通过 Model Context Protocol(MCP)逐步下发流程步骤,让智能体每执行一步就返回结构化 step_output,以牺牲自主性换取过程可预测性。
一篇 arXiv 论文将 empowerment 最大化与技能学习(skill-learning)方法关联,为解释和分析 empowerment 提供了新的几何框架。该分析回答了 empowerment 与结构中心性之间关系的长期开放问题,并揭示了信息几何与奖励几何之间的区别,为构建可扩展的 empowerment 最大化方法提供了理论启示。论文共 34 页、12 张图,网站与代码已公开。
研究者提出 ServeLearnBench,用于评估 LLM 智能体从服务经验中持续学习的能力,覆盖零售客服、银行和销售话术生成,包含 53 个环境窗口和 7,718 个任务。
研究揭示工具调用智能体在证据到行动链条上的失败模式:在十种模型-框架配置中,静态动作评估能力强,但交互式执行明显偏弱。失败常始于执行前——智能体调查不完整便停止,或在所需证据建立前就行动;一旦证据齐备,单动作执行通常可靠,多动作工作流则暴露未解决的前置条件和执行不完整问题。
加州葡萄园精准病害防控项目评估了两种人机协作工作流。Workflow 1 中,多智能体研究系统 Aleks v1 在 145 分钟内开发出 vine-scale 预测模型,在回顾性模拟中对 45% 藤蔓位置进行侦察,模型辅助行优先级排序将新记录红叶观测的遇到比例从 85.8% 提升至 94.1%。
SWORD 是一个联合优化多智能体工作流拓扑与自然语言提示词的框架,仅依靠标量任务指标引导,无需领域初始化或任务特定工程。在相同骨干模型的受控对比下,SWORD 相较仅提示词、仅工作流及分阶段优化基线均取得统计显著提升,并在使用更小骨干模型、更少训练数据和每数据集 4–6 美元 API 成本的情况下,准确率超过最强的已发表领域专用基线。
研究者提出 SkillPoison 框架,通过构造强化目标行为的成功经验、再移除约束该行为适用场景的上下文条件,实现对自进化 LLM 智能体技能库的渐进式投毒。在三个 benchmark 上,该方法攻击成功率达 95.71%,且所有注入经验均保持任务正确、可通过验证与词法检查。代码与数据已公开。
研究者提出 Stateless Language Agents(SLAs),核心是"有状态搜索、无状态智能体":智能体不跨调用保留对话,由 harness 持有研究状态并为每次调用重建角色专属上下文。
研究者推出 CheckerBench,一个由 297 个 CVE 衍生出 300 项任务的可执行基准,覆盖 167 个仓库、85 个 CWE 和五种语言生态,用于评估智能体能否从零完成静态分析检查器开发。
研究提出用基础模型(FM)提升多智能体强化学习(MARL)在无线随机接入(RA)网络优化中的效率,设计了基于共识的去中心化 MARL 架构下的 FM 辅助 actor-critic 算法。收敛性分析表明,该算法在局部奖励交换与非线性价值函数近似下,达到与传统 MARL 相同的收敛阶数。数值结果显示该方法显著提升了 RA 网络优化的 MARL 速度。
研究用多个不同基础模型构建异构社交网络模拟,发现智能体获得的互动量更多取决于其基础模型而非被分配的人格。当混合的模型数量增加时,基础模型的吸引或排斥效应显著增强,暗示网络动态在大规模下可能收敛于基础模型效应。内容中介分析显示基础模型跨语境具有可预测性,且模型的词汇模式与互动最大化风格存在关联。
Jarvis 是一款能实时参与多人对话的主动式语音智能体,基于事先共享的文档跟进讨论,仅在群体遗漏或说错事实且数轮内未自我纠正时出声干预。它由小型开源权重模型驱动,结合确定性检查,并将每条论断锚定到原文句子。在 CHI-180-proactive 数据集上,Jarvis 对多数干预事件判断正确,且在群体自行解决问题时 97% 的情况下保持沉默;23 人实时研究验证了这一趋势。
多智能体共享成本预算时,统一 Lagrange 乘子只能约束总量、无法决定惩罚如何在各智能体间分摊,为此研究者提出 Lagrangian Responsibility Allocation(LiRA),通过有限训练周期内优化社会福利来学习每个智能体对公共乘子的分摊比例。
RELACE 是一个无需 critic 的框架,通过教师强制似然评分对比动作在原始上下文与结果增强上下文中的可能性,生成轨迹归一化的回顾因子,用于重加权折扣任务回报并构建局部优势。