Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
Safety Verification of Deep Neural Networks