The Blunt Guide to Mathematically Rigorous Machine Learning