Formalization of Machine Learning Theory with Applications to Program Synthesis - View it on GitHub