arxivcs.LGcs.CRcs.DS2026-07-17
Publicly-Verifiable Certificates for Statistical Algorithms
Following Goldwasser, Rothblum, Shafer, and Yehudayoff, who defined a framework for interactive proofs of learning [ITCS'21], we initiate the study of non-interactive proofs of learning. We define and study a new notion: Publicly-Verifiable Certificates of Statistical Validity (p…