Monday, November 23
Yevgeny Liokumovich (University of Toronto)
Lecture 19 | Mathematics for AI Safety
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 09 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Wednesday, November 25
Yevgeny Liokumovich (University of Toronto)
Lecture 20 | Mathematics for AI Safety
Moritz Voss (University of California, Los Angeles)
Thursday, November 26
Sara Fridovich-Keil
Friday, November 27
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
Saturday, November 28

