PAC Verification of Statistical Algorithms

28 November 2022

Papers citing "PAC Verification of Statistical Algorithms"

3 / 3 papers shown

Title
Active Fourier Auditor for Estimating Distributional Properties of ML Models Ayoub Ajarra Bishwamittra Ghosh Debabrota Basu MLAU 54 0 0 10 Oct 2024
Prover-Verifier Games improve legibility of LLM outputs Jan Hendrik Kirchner Yining Chen Harri Edwards Jan Leike Nat McAleese Yuri Burda LRM AAML 25 25 0 18 Jul 2024
Classical Verification of Quantum Learning Matthias C. Caro M. Hinsche M. Ioannou A. Nietner R. Sweke 22 5 0 08 Jun 2023