Bagnall A, Stewart G. Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees. AAAI [Internet]. 2019Jul.17 [cited 2024Sep.22];33(01):2662-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/4115