Michael I. Jordan 等新论文:给生成器-验证器循环定出可控假发现率的停止准则
_onionesque · x · 2026-10-07
arXiv 新论文（Mahmoud Hegazy、Michael I. Jordan、Aymeric Dieuleveut）研究 agent 工作流中广泛使用的「生成器-验证器循环」何时可以安全停止。
- 问题：验证器只是高成本真值 oracle 的代理，当生成器针对代理验证器自适应搜索时，假接受会累积——候选通过代理检验却在真值检验下失败
- 贡献：给出在控制已接受提案假发现率（FDR）前提下的有效停止准则
- 方法工具本身有独立价值：基于 index betting 构造的 e-values、面向非单调损失的新型 conformal risk control 程序
- 在合成实验和蛋白质设计 benchmark 上验证
对构建 agent 验证循环的人来说，这是把「验证够了就停」变成有统计保证的尝试。
「编程与Agent」频道最新
- 开源纯 Rust 复刻 Photoshop,PhotoCraft 支持 PSD 分层与遮罩 — JosephJacks_ · 2026-10-07
- Bun 将内置 Rust 版 TypeScript 类型检查器 bun check — DanielLockyer · 2026-10-07
- Anthropic 工程师：Claude 提示词没秘诀，像对同事说话即可 — bcherny · 2026-10-07
- 87% 被利用漏洞当天即遭攻击，Mandia 主张 agent 集群全天候防守 — a16z · 2026-10-07
- Claude Max $250 GitHub 额度倒计时 2 天,附一键薅完的 prompt — doodlestein · 2026-10-07
- 用 Codex 搭出 3D 飞行仿真,带深度缓冲与信号搜寻玩法 — MikePFrank · 2026-10-07