Finite-Sample Coverage Audits for High-Recall Candidate Generation: Certification and Learning-Theoretic Design
Exact excluded-pool audits certify missed mass; in the zero-miss regime, the optimal label complexity is Ω(N₀/m).
Martin Anthony, Kaveh Salehzadeh Nobari