The Fields Institute for
Research in Mathematical Sciences

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

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

Arturs Berzins, Iliad

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

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

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

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

Wolfgang Dahmen, University of South Carolina

Jose Iovino, The University of Texas at San Antonio
Model Theory of Quantum-Valued Structures