Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
Quantized Neural Networks: Training Neural Networks with Low Precision Weights and Activations