Formal Guarantees in Machine Learning, Statistics and Optimization

This talk reviews formal guarantees in classical supervised machine learning, as well as a posteriori statistical guarantees, a priori statistical guarantees, and guarantees for optimization.