全部论文

作者认为编码智能体的安全不能只靠拦截禁止动作，还要找出终止时仍未做的安全关键动作，并将其称为义务。

开放任务没有验证器时，被演化的是评分器，而不是再补一条手写 rubric。

这篇论文研究了智能体技能（Agent Skills）安全扫描中的“审查–执行脱节”问题，并提出了对应的攻击验证与防御方案。

本文是一项针对安全强化学习中冻结视觉语言模型（VLM）安全评分机制的实证审计研究。

Secure-CUA 要限制图形界面里不可信内容对 CUA 决策和 GUI 执行的影响，同时保留合法任务所需的不可信信息。

WebMirage 是一个面向视觉定位网络智能体的流水线感知端到端红队攻击框架。

VeriFine 把驾驶和导航推理的自改进写成策略、课程和无参考评审的协同演化，用来处理固定评审跟不上新失败模式的问题。

DEFER 用来测量多智能体授权流水线里，确定性规则在何处结束、LLM judge 从何处开始。

论文是一项针对智能体动作拦截防御堆叠故障关联性与实际组合价值的实证测量研究。

CRIME 把公共技能库中各自通过审查的技能配成两两组合，看联合执行能否实现指定恶意任务。。

作者给出一套测量优先审计框架，用来判断智能体排行榜上的污染主张各自需要何种证据。

Perturbot 是一套不改推理的 VLA 训练期数据干预，用来削弱模态捷径，并用离线分数区分“任务变好”和“靠捷径变好”。

这是一篇把 LLM 数字孪生放进增强民主的博士论文，分个体表示、政党聚合和共识生成的提示注入三章。