OSVerify：有限专家评审下的单侧验证框架

OSVerify 是一个将错误提出与错误验证解耦的算法框架，通过分层分解在不同粒度上搜索解答中的错误，并由验证器区分实质性错误与轻微或幻觉性错误。在竞赛级与研究级基准上，相同低 FNR 约束下，它将无效解答的人工评审量较投票基线平均减少 46%，对验证器进行后训练后进一步降至 57%。该框架还用于识别已发表论文中的错误（获原作者确认），并协助解决三个经专家确认的 Langlands 开放猜想。