Monday, October 5
Yevgeny Liokumovich (University of Toronto)
Lecture 07 | Mathematics for AI Safety
March Boedihardjo, Michigan State University
Metric Geometry of Differential Privacy
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 04 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Gordon Slade (University of British Columbia)
Crossover from subcritical to critical decay: random walk, self-avoiding walk, percolation
Tuesday, October 6
2) Support the needs of reviewing
Wednesday, October 7
Yevgeny Liokumovich (University of Toronto)
Lecture 08 | Mathematics for AI Safety
Thursday, October 8
TBA
Friday, October 9
Zohar Ringel (The Hebrew University of Jerusalem)
Lecture 02 | Mini-Course on Statistical Mechanical Approaches to Deep Learning
Calvin Tsay, Imperial College London
Ari Brodsky, Shamoon College of Engineering
TBA
Ethan Partida (Brown University)
TBA

