Mathematics and Machine Learning Closing Workshop

Dates: October 28–Nov 1, 2024 Location: Room G10, CMSA, 20 Garden Street, Cambridge MA Directions to CMSA

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.