@article{v022a005,
 author = {Mutreja, Saachi and Shafer, Jonathan},
 title = {PAC Verification of Statistical Algorithms},
 year = {2026},
 pages = {1--40},
 doi = {10.4086/toc.2026.v022a005},
 publisher = {Theory of Computing},
 journal = {Theory of Computing},
 volume = {22},
 number = {5},
 URL = {https://theoryofcomputing.org/articles/v022a005},
}