OSVerify提出有限专家审核下的单向验证框架

Fan Nie、Haotian Ye、Shurui Liu、Zihao Wang、Stefano Ermon、James Zou等人在arXiv发布论文，提出OSVerify框架，在有限人工审查下实现单向验证：将错误提议与错误验证解耦，通过分层分解提出错误，并由验证器区分实质错误与轻微或幻觉错误。其目标是在约束有效解误拒率（FNR）的前提下，最大化对无效解的拒绝率，把人工审核成本作为显式优化项。 据论文摘要，在相同经验低FNR约束下，相比投票基线，OSVerify平均减少46%的无效解人工审核；对验证器做后训练后，该比例进一步提升到57%。作者还称该方法被用于发现已发表论文中的错误，并协助解决3个经专家确认的Langlands开放猜想。

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

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