ML Anthology

Stewart, Gordon

1 publications

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