The Fields Institute for
Research in Mathematical Sciences

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

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

Mathias Trabs, Karlsruhe Institute of Technology
The surrogate Gibbs-posterior of a corrected stochastic MALA: Towards uncertainty quantification for neural networks

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

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

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

Moritz Voss (University of California, Los Angeles)

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

Sara Fridovich-Keil

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

Vanessa Kosoy, Technion - Israel Institute of Technology