Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
Robustness and generalization