PAC verification of statistical algorithms
From MaRDI portal
Complexity of proofs (03F20) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms and problem complexity (68Q25) Computational learning theory (68Q32) Theory of computing (68Qxx)
Cites work
- A Coincidence-Based Test for Uniformity Given Very Sparsely Sampled Discrete Data
- A theory of the learnable
- Active property testing
- Asymptotic methods in statistical decision theory
- Classical verification of quantum learning
- Covert learning: how to learn with an untrusted intermediary
- Decision theoretic generalizations of the PAC model for neural net and other learning applications
- Delegating computation: interactive proofs for muggles
- Efficient noise-tolerant learning from statistical queries
- scientific article; zbMATH DE number 1004331 (Why is no real title available?)
- scientific article; zbMATH DE number 3173999 (Why is no real title available?)
- Interactive proofs for verifying machine learning
- Modern Discrete Probability
- Neural Network Learning
- On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
- Preserving statistical validity in adaptive data analysis (extended abstract)
- Preventing false discovery in interactive data analysis is hard
- Probability Inequalities for Sums of Bounded Random Variables
- Proofs of proximity for distribution testing
- Sharper bounds for Gaussian and empirical processes
- Testing distributional assumptions of learning algorithms
- The probabilistic method. With an appendix on the life and work of Paul Erdős.
- Toward efficient agnostic learning
- Understanding machine learning. From theory to algorithms
- Verifying the unseen: interactive proofs for label-invariant distribution properties
- Vertex cover might be hard to approximate to within \(2 - \varepsilon \)
This page was built for publication: PAC verification of statistical algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7308270)
