用行为检查认证LLM judge

sanmikoyejo · x · 2026-07-12

核心想法是：不要反复重新标注，而是用自动、可证伪的行为检查来“认证” judge。文中列出四类检查：

• P1 Identity
• P2 Bug monotonicity
• P3 Spec monotonicity
• P4 Stability

方法通过对任意 Lean 文件做受控扰动，在不需要金标准标签的前提下验证 judge 是否可靠。

原文链接 →

「研究」频道最新

• Cognition SWE-2 用 KKT 对偶优化长度惩罚，一次 RL 推移 Pareto 曲线 — YouJiacheng · 2026-09-11
• VidMap 用 RoMa 粗匹配全帧、精细匹配仅限关键帧 — ducha_aiki · 2026-09-11
• Bug Hunt Bench 作者补充:榜单噪声幅度约 2-3 分 — PawelHuryn · 2026-09-11
• 台球计算模型登 PNAS:二维系统已存在不可判定性,可跑通用计算机 — eigensteve · 2026-09-11
• 新研究:从仿射变换与重力线索求解绝对位姿 — ducha_aiki · 2026-09-11
• LoMa 论文发布 REALLY HardPairs 数据集,入选 ECCV 2026 — ducha_aiki · 2026-09-11

更多「研究」频道 AI 资讯 →