Mathematical Theory of Partially Correlated Verifier Cascades in LLMs

This analysis provides a theory for serial verification gates where verifiers are partially correlated. It demonstrates that the posterior log-odds for a cascade of k verifiers is concave, establishing that the traditional Odds Law serves only as an upper bound.