Sunday, November 8
Monday, November 9
Yevgeny Liokumovich (University of Toronto)
Lecture 14 | Mathematics for AI Safety
Anastasis Kratsios (McMaster University)
Lecture 23 | Mathematical Foundations of AI
Matthew Ballard, University of South Carolina
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 07 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Wednesday, November 11
Yevgeny Liokumovich (University of Toronto)
Lecture 15 | Mathematics for AI Safety
Anastasis Kratsios (McMaster University)
Lecture 24 | Mathematical Foundations of AI
Thursday, November 12
Anastasis Kratsios (McMaster University)
Lecture 25 | Mathematical Foundations of AI
Benoit Charbonneau (University of Waterloo)
Nahm transforms, Dirac operators, and monopoles at infinity
Nicholas McCleerey (Purdue University)
Holder Estimates for Complex Hessian Equations
Friday, November 13
Zohar Ringel (The Hebrew University of Jerusalem)
(Lecture Cancelled)
Tom Szwagier, Institut de Recherche en Informatique de Toulouse
Nested Subspace Learning with Flags
Raz Firanko, Perimeter Institute
Clement Yung
Zachary Hamaker (University of Florida)
TBA

