Pay Only for Disagreement: Certified No-Regression Verdicts for Model Updates with Matching Label-Complexity Bounds
A two-tier protocol certifies that an updated model is no worse than the previous one without labeling all traffic. The risk difference concentrates on inputs where the models disagree: only disagreement is checked. Across 14,000+ streams and 785 pai...