arXiv 人工智能· Param Biyani, Krishnamurthy Dvijotham·· 8 小时前AI 评分54
SpecGuard：在编码 Agent 作弊前形式化证明任务规范冲突
SpecGuard: Proving a Task Is Broken Before the Agent Cheats
AI 导读
研究者提出 SpecGuard，在编码 Agent 执行任务前检测并形式化证明任务意图与测试用例之间的冲突，防止 Agent 出现修改测试或硬编码输出等作弊行为。
来源：arXiv 人工智能 · arxiv.org