Lecture 06 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Speaker:
Arul Shankar, University of Toronto, Kevin Wilson, Borealis AI
Date and Time:
Monday, October 26, 2026 - 2:00pm to 5:00pm
Location:
Fields Institute, Room 210
