LEGEND Click on the circle to filter eventsSwitch to column view
Monday, November 23
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 19 | Mathematics for AI Safety
2:00 PM, Fields Institute, Room 210
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 10 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Wednesday, November 25
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 20 | Mathematics for AI Safety
5:00 PM, Fields Institute, Room 230
Moritz Voss (University of California, Los Angeles)
