arXiv · cs.AI· Fan Nie, Haotian Ye, Shurui Liu, Zihao Wang, Stefano Ermon, James Zou·· 11 小时前
OSVerify提出有限专家审核下的单边验证框架
One-Sided Verification Under Limited Expert Review
arXiv:2610.18089v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Fan Nie, Haotian Ye, Shurui Liu, Zihao Wang, Stefano Ermon, James Zou
研究任务与主要进展
Fan Nie等人提出OSVerify，通过分层分解提出错误并由验证器区分实质错误与轻微或幻觉错误，以在有效解误拒率约束下降低无效解的人工审核量。基于论文摘要，在相同经验低FNR约束下，相比投票基线，OSVerify平均减少46%的无效解审核，验证器后训练后进一步达到57%；该方法还被用于发现已发表论文中的错误，并协助解决3个经专家确认的Langlands开放猜想。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org