TheoryML-Lecture1.pdf