Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees.

Alexander Bagnall, Gordon Stewart

Browse the full AAAI paper archive.