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

针对候选生成规模超出人工评审能力的问题，研究者提出 OSVerify 框架，将错误提议与错误验证解耦，在相同低 FNR 约束下把无效解的人工评审量较投票基线平均减少 46%，对验证器进行后训练后进一步降至 57%。该框架还用于识别已发表论文中的错误（获原作者确认），并协助解决三个经专家确认的 Langlands 开放猜想。