[m_ke]

Computation Learning Theory with Rocco at Columbia. Proof heavy course where you spend the whole time deriving bounds of learning algorithms, average on exams and take home assignments was like 40/100