Monday, December 7
Yevgeny Liokumovich (University of Toronto)
Lecture 23 | Mathematics for AI Safety
Anastasis Kratsios (McMaster University)
Lecture 35 | Mathematical Foundations of AI
Anindita Maiti, Perimeter Institute
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 11 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Tuesday, December 8
TBA
Wednesday, December 9
Yevgeny Liokumovich (University of Toronto)
Lecture 24 | Mathematics for AI Safety
Anastasis Kratsios (McMaster University)
Lecture 36 | Mathematical Foundations of AI
Friday, December 11
Tao Wang, University of Toronto
Doubly Debiased Robust Subsampling for Transfer Learning

