斯坦福团队提出OSVerify有限专家校验框架

Fan Nie 等斯坦福研究者在 arXiv 论文《One-Sided Verification Under Limited Expert Review》中提出 OSVerify 框架，研究专家审阅人力有限时的单侧验证问题：在控制有效解误拒率的前提下最大化拒绝无效解，把错误提议与错误验证解耦，使人工审阅成本成为显式优化目标。 论文称，在同样的低误拒率约束下，OSVerify 比投票基线平均减少 46% 对无效解的人工审阅；对验证器做后训练后，减少比例提升至 57%。论文还报告将其应用于发现已发表论文错误，并协助解决三个 Langlands 开放猜想。

AI 根据报道生成 · 2 小时前更新

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