ML Anthology

Bagnall, Alexander

1 publications

AAAI 2019 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees Alexander Bagnall, Gordon Stewart