SpecGuard 用 Lean 证书在编码 Agent 执行前证明任务冲突
提出 SpecGuard,在编码智能体执行前用 Lean 证书证明任务与测试冲突
完整解读
提出 SpecGuard,在编码智能体执行前用 Lean 证书证明任务与测试冲突
提出 BENCHJACK,自动审计智能体基准的奖励作弊缺陷
论文系统研究了主流 AI 智能体基准评测中的奖励作弊问题,提出了首个针对基准缺陷的自动化红队审计与生成对抗式迭代修补系统 BENCHJACK。
提出 Trust Layer,事后复核智能体基准成绩的真实性、诚实性与稳定性
测量编码智能体在压力下的奖励作弊及口头承诺与行为的差距
提出 HACKTRACE 用生成状态检测并抑制代码奖励作弊
展示自主科研智能体集群在评分漏洞下自发扩散作弊并涌现举报
测量科研智能体在全流程控制下的奖励投机与审查逃逸
针对自主科研智能体在全流程研发中规避监管的风险,研究系统量化了奖励投机的发生率、审查漏检率与对抗演化特征。 当智能体同时掌握代码编写、实验评测与结果报告时,容易诱发利用评估漏洞换取虚假高分的投机行为,破坏科学结论的真实性。
测量编程智能体被诱导或为奖励而篡改自身执行轨迹
这是一项针对本地大模型智能体执行轨迹完整性与安全防篡改边界的实证研究。