The Fields Institute for
Research in Mathematical Sciences

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

Lecture 07 | Elements of Mathematical Formalization and Auto-Formalization with Lean

Yevgeny Liokumovich (University of Toronto)
Lecture 15 | Mathematics for AI Safety

Anastasis Kratsios (McMaster University)
Lecture 24 | Mathematical Foundations of AI

Anastasis Kratsios (McMaster University)
Lecture 25 | Mathematical Foundations of AI

Benoit Charbonneau (University of Waterloo)

Nicholas McCleerey (Purdue University)

Zohar Ringel (The Hebrew University of Jerusalem)
Lecture 07 | Mini-Course on Statistical Mechanical Approaches to Deep Learning

Tom Szwagier, Institut de Recherche en Informatique de Toulouse
Nested Subspace Learning with Flags

Raz Firanko, Perimeter Institute

Zachary Hamaker (University of Florida)
TBA