研究：LLM难判验证器可检查边界，提出CoVer方法

Anthony Rhodes 等人提出 CoVer（corroborate-then-verify）方法，用于判断智能体验证器中的谓词是否可由固定检查判定。该方法把多个模型的一致判断仅当作候选提名，只有当为谓词合成的检查能通过干预测试、读取智能体无法写入的字段，并在确定性改写下仍成立时，才接纳该谓词。 研究覆盖六个语料库（含 EU AI Act、FINRA 指引和一个已部署的信贷智能体），从三个实验室的四个模型收集约 22,000 条标注。结果显示，LLM 在监管文本上的判断分歧严重，且错误方向相反，因此无法作为保守选择。

AI 根据报道生成 · 53 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。