Book of Proof
Richard H. Hammack
How to Prove It: A Structured Approach
Daniel J. Velleman
Hyperparameter Optimization in Machine Learning
Luca Franceschi
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers