[1]
A. Bagnall and G. Stewart, “Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees”, AAAI, vol. 33, no. 01, pp. 2662-2669, Jul. 2019.