The Fields Institute for
Research in Mathematical Sciences

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

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

Lionel Levine, Cornell University

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

Wilfrid Gangbo (University of California, Los Angeles)
Lecture 01

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

Wilfrid Gangbo (University of California, Los Angeles)
Lecture 02

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

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

Wilfrid Gangbo (University of California, Los Angeles)
Lecture 03

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

Part of the Thematic Program on Optimal Transport in Natural Sciences and Statistics

Gurudev Dutt, University of Pittsburgh

Ding-Xuan Zhou, University of Sydney
Approximation and Learning Theory