Jul 15, 2026 · Partially Correlated Verifier Cascades
Partially Correlated Verifier Cascades in LLM Harnesses: Concave Log-Odds, Polynomial Reliability, and Blind-Spot Ceilings
arXiv 论文 2607.13918v1 研究 LLM harness 中的串行验证门：候选答案需 k 个验证器调用全部接受才返回。在条件独立门假设下，Odds Law (arXiv:2606.15712) 表明后验对数几率随 k 线性增长，失败指数衰减。论文探讨部分相关验证器级联，涉及凹对数几率、多项式可靠性和盲点上限。
EVENT STORY
Development
- First ReportPartially Correlated Verifier Cascades in LLM Harnesses: Concave Log-Odds, Polynomial Reliability, and Blind-Spot CeilingsarXiv cs.AI
- Current Assessment验证器级联是 LLM 可靠性工程的关键，该研究揭示其理论极限，可能影响可靠性评估和验证器设计实践。Agent Pulse · analysis
该论文研究 LLM harness 中串行验证门的可靠性。在条件独立门假设下，Odds Law 显示后验对数几率随 k 线性增长，失败指数衰减。论文进一步分析部分相关验证器级联，发现对数几率呈凹性，可靠性呈多项式增长，并存在盲点上限。这意味着增加验证器数量带来的收益递减，且存在无法通过级联消除的盲点。
部分相关验证器级联中，后验对数几率随 k 增长呈凹性，可靠性提升为多项式而非指数，存在盲点上限。这提示验证器设计需考虑相关性，独立假设可能高估级联效果。
验证器级联是 LLM 可靠性工程的关键，该研究揭示其理论极限，可能影响可靠性评估和验证器设计实践。
对依赖 LLM 可靠性的企业，理解验证器级联的极限有助于优化验证成本与可靠性平衡，避免过度投资。
后续研究可能探索如何量化验证器相关性，或设计去相关策略以逼近指数衰减。