Mathematics and Machine Learning Closing Workshop
October 28, 2024 @ 9:00 am - November 1, 2024 @ 5:00 pm
Mathematics and Machine Learning Closing Workshop
Dates: October 28–Nov 1, 2024
Location: Room G10, CMSA, 20 Garden Street, Cambridge MA
The closing workshop will provide a forum for discussing the most current research in these areas, including work in progress and recent results from program participants. We will devote one day to frontier topics in interactive theorem proving, such as mathematical library development and AI for mathematical search and theorem proving.
Organizers
- Francois Charton (Meta AI)
- Michael R. Douglas (Harvard CMSA)
- Michael Freedman (Harvard CMSA)
- Fabian Ruehle (Northeastern)
- Geordie Williamson (Univ. of Sydney)
Further details TBA.