Mathematics and Machine Learning Closing Workshop

10/28/2024 9:00 am - 11/01/2024 5:00 pm
CMSA Room G10
Address: CMSA, 20 Garden Street, Cambridge, MA 02138 USA

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.


  • Francois Charton (Meta AI)
  • Michael R. Douglas (Harvard CMSA)
  • Michael Freedman (Harvard CMSA)
  • Fabian Ruehle (Northeastern)
  • Geordie Williamson (Univ. of Sydney)

Further details TBA.