CMSA Mathematics and Machine Learning Closing Workshop
CMSA EVENTS
When: October 28, 2024 - October 30, 2024
9:00 am - 5:00 pm
Where: CMSA, 20 Garden St, G10
Address:
20 Garden Street, Cambridge, MA 02138, United States
Mathematics and Machine Learning Closing Workshop
Dates: October 28 – Oct. 30, 2024
Location: Room G10, CMSA, 20 Garden Street, Cambridge MA
See event webpage for schedule and more information.
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)
Confirmed Speakers
- Ankit Anand, Google Deepmind Montreal
- Jeremy Avigad, Carnegie Mellon University
- Angelica Babei
- Matej Balog, Deepmind
- Dong Bin, Beijing International Center for Mathematical Research
- Tristan Buckmaster, New York University
- Giorgi Butbaia, University of New Hampshire
- Alex Davies, DeepMind
- Kit Fraser-Taliente, University of Oxford
- Javier Gomez-Serrano, Brown University
- Jim Halverson, Northeastern University
- Thomas Harvey, MIT
- Amaury Hayat, Ecole des Ponts Paristech
- Yang-Hui He, University College London
- Jürgen Jost, Max Planck Institute for Mathematics in the Sciences
- Petros Koumoutsakos, Harvard University
- Kyu-Hwan Lee, University of Connecticut
- David Lowry-Duda, ICERM
- Stephane Mallat, Flatiron/College de France
- Abbas Mehrabian, Google Deepmind Montreal
- Cengiz Pehlevan, Harvard University
- Fabian Ruehle, Northeastern University
- Eric Vanden-Eijnden, Courant/NYU
- Adam Wagner, Worcester Polytechnic Institute
- Melanie Matchett Wood, Harvard University