PAC Verification of Statistical Algorithms

Saachi Mutreja, Jonathan Shafer

Goldwasser et al. (2021) recently proposed the setting of PAC verification, where a hypothesis (machine learning model) that purportedly satisfies the agnostic PAC learning objecti…