LEGEND Click on the circle to filter eventsSwitch to column view
Monday, September 21
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 03 | Mathematics for AI Safety
1:00 PM, Fields Institute, Room 309, Stewart Library
Rubi Hudson, University of Toronto
2:00 PM, Fields Institute, Room 210
Speakers:
Arul Shankar (University of Toronto)
Kevin Wilson (Borealis AI)
Lecture 02 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Wednesday, September 23
10:00 AM, Fields Institute, Room 309, Stewart Library
Yevgeny Liokumovich (University of Toronto)
Lecture 04 | Mathematics for AI Safety
Friday, September 25
11:00 AM, Online
Tillmann Miltzow, Utrecht University
Training Fully Connected Neural Networks is ∃R-Complete
