具身图灵机:用有状态代码实现机器人递归自我改进的 Code-Only-as-Policy
提出 COAP,用有状态代码在测试时无模型地控制机器人
- arXiv
- 2610.12369
- 发表
- 层
- 应用层
- 场景
- 具身与机器人
提出 COAP,用有状态代码在测试时无模型地控制机器人
提出 GENUI-Harness,用生成界面收集未决输入并完成数据库服务任务
GENUI-Harness 把数据库服务任务的交互,从纯文本改成按当前请求和检索记录生成的界面。
提出 System Switch,让快决策模型仅在门控打开时询问推理模型
System Switch在不暂停的 Doom 里,让快的 typed-decision 模型做每一次决策,只在门控打开时把控制交给视觉推理模型。
提出 CARE,离线认证 VLA 加速配置的回合级失败风险并选出最快合格候选
CARE 在部署前从加速配置中选出最快、且加速诱发失败风险能被有限样本认证为低于用户预算的候选。证据不足就保留全计算参考策略。
发布开源个人智能体 nanoMuse,经 Sentinel 审查设备屏幕动作
提出 Transect,将长程 Agent 评测转录对齐到可回查的共享时间线
Transect 是基于 Inspect Scout 的转录分析包,用来在长程智能体评估里保住可回查的过程账户。
提出 DAEDALUS,用自生成任务自举 Agent 记忆
提出 AI Agent 主张的可审计性框架与裁决规则
作者给出把关于已部署智能体的主张写成可核查陈述的条件,而不是检测器或攻击方法。
提出 NetAgent,编排工具完成多任务网络流量分析
NetAgent 是一个多任务网络流量分析智能体框架。作者要让分析员用自然语言把分类、隧道检测和主机研判串成可重规划的工作流,而不为每个任务单独训练一个模型。
提出 HERA,协同演化 harness 与环境以提升 Agent 拒答准确性
HERA 在模型权重固定时,让 harness 与可执行环境按失败协同演化,以改进 agentic abstention。
提出用可逆网络为给定 AI 控制器寻找可证明前向不变集
本文处理的是认证场景:AI 控制器事先给定,不能为了构造 Lyapunov 函数去改控制器,却仍要给出可解析核验的安全依据。
蒸馏私有健康记录为疾病特异性打分器,供外部智能体发现血液标志物
把私有 CBC 证据蒸馏成可发布的 GAT 打分器,使前沿智能体在不读取患者行时给生物标志物表达式排序。。
提出 WebFovea,加固视觉网页智能体的解析、执行、反馈与观察往返
审计机器人安全监控的细化缺口,比较表面计划与图细化轨迹的裁决
作者审计 RoboGuard 的一个假设:对高层动作轨迹的安全裁决,在补上语义图诱导的导航和已记录隐式效应之后是否仍然成立。做法是不改验证器,并固定同一条 LTL。
提出 FAO 框架,形式化隐私约束下的分布式智能体协同优化
Federated Agent Optimization(FAO) 是一篇框架论文:多个处在私有环境中的 LLM 智能体,如何在原始数据、完整轨迹和本地知识不离开客户端的前提下协作改进。
定义空承诺并给出单回合测量协议,按配置判定智能体承诺可否执行
作者定义空承诺:智能体承诺回合结束后的行动,但在其工具与运行时下没有任何执行路径。空洞只由配置决定,不依赖后续轨迹。
提出 VeriHarness,用环境证据核实并修订长程智能体产物
用均值场博弈分析多智能体集体攻击何时不是均衡
摘要结构阈值给出干预杠杆。
提出 Mid-Harness,在执行前验证并筛选终端智能体的候选动作
Mid-Harness 在不改生成器和执行 harness 的前提下,于二者之间做动作级测试时计算,用来研究终端智能体里“多采样、再验证”何时提高轨迹成功。
提出 PatchHolmes,用混合检索和列表式智能体选出 CVE 修复提交
PatchHolmes 是面向补丁检索的两阶段系统:在本地 Git 仓库上用冻结开源权重模型,为一个已知 CVE 找出修复提交,不做按仓库微调,也不使用付费外部搜索 API。