Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop (2023)
Chapter: Appendix A: Workshop Agenda
A
Workshop Agenda
JUNE 12, 2023 (all times EDT)
| 10:00 a.m. | Welcome |
Petros Koumoutsakos, Harvard University | |
Motivation from the National Science Foundation | |
David Manderscheid, Director, Division of Mathematical Sciences | |
Dilma Da Silva, Director, Division on Computing and Communication Foundations |
Session I—State of the Art of Using Artificial Intelligence to Assist Mathematical Reasoning
| 10:20 a.m. | Overview and Grand Vision |
Moshe Vardi, Rice University | |
Geordie Williamson, University of Sydney | |
Moderated by Brendan Hassett, Brown University | |
| 11:30 a.m. | Case Studies: Artificial Intelligence to Assist Mathematical Reasoning |
François Charton, Facebook AI Research | |
Adam Wagner, Worcester Polytechnic Institute | |
Moderated by Yann LeCun, Meta |
| 12:45 p.m. | Break |
| 1:00 p.m. | Case Studies: Proof Verification and Checking |
Thierry Coquand, University of Gothenburg | |
Johan Commelin, University of Freiburg | |
Greg Morrisett, Cornell University | |
Moderated by Talia Ringer, University of Illinois at Urbana-Champaign |
Session II—Current Challenges and Barriers to the Use of Artificial Intelligence for Mathematical Reasoning
| 2:20 p.m. | Development of Datasets Specific to the Mathematical Sciences |
Sean Welleck, University of Washington | |
Moderated by Kavitha Srinivas, IBM Research | |
| 2:55 p.m. | Wrap Up |
Petros Koumoutsakos, Harvard University | |
| 3:00 p.m. | Adjourn Day 1 |
JUNE 13, 2023 (all times EDT)
| 10:00 a.m. | Welcome |
Petros Koumoutsakos, Harvard University | |
| 10:10 a.m. | Building an Interdisciplinary Community |
Jeremy Avigad, Carnegie Mellon University | |
Alhussein Fawzi, Google DeepMind | |
Moderated by Heather Macbeth, Fordham University | |
| 11:10 a.m. | The Role of Intuition and Mathematical Practice |
Ursula Martin, University of Oxford | |
Stanislas Dehaene, Collège de France | |
Moderated by Petros Koumoutsakos, Harvard University | |
| 12:10 p.m. | Break |
| 12:30 p.m. | Concentration of Machine Learning Capabilities and Open-Source Options |
Stella Biderman, Booz Allen Hamilton and EleutherAI | |
Moderated by Terry Tao, University of California, Los Angeles |
| 1:00 p.m. | Mathematical Foundations of Machine Learning |
Morgane Austern, Harvard University | |
Rebecca Willett, University of Chicago | |
Moderated by Terry Tao, University of California, Los Angeles | |
| 2:00 p.m. | Challenges and Barriers Panel |
Carlo Angiuli, Carnegie Mellon University | |
Jeremy Avigad, Carnegie Mellon University | |
Stella Biderman, Booz Allen Hamilton and EleutherAI | |
Ursula Martin, University of Oxford | |
Moderated by Terry Tao, University of California, Los Angeles | |
| 2:55 p.m. | Wrap Up |
Petros Koumoutsakos, Harvard University | |
| 3:00 p.m. | Adjourn Day 2 |
JUNE 14, 2023 (all times EDT)
| 10:00 a.m. | Welcome |
Petros Koumoutsakos, Harvard University |
Session III—Technical Advances Required to Expand This Initiative
| 10:10 a.m. | Research Advances in Computer Science |
Brigitte Pientka, McGill University | |
Aleksandar Nanevski, IMDEA Software Institute | |
Avraham Shinnar, IBM Research | |
Moderated by Talia Ringer, University of Illinois at Urbana-Champaign | |
| 11:40 a.m. | Research Advances in the Mathematical Sciences |
Javier Gómez-Serrano, Brown University | |
Alex Kontorovich, Rutgers University | |
Adam Topaz, University of Alberta | |
Moderated by Brendan Hassett, Brown University | |
| 1:10 p.m. | Break |
Session IV—Roles for Stakeholders in Advancing Artificial Intelligence for Mathematical Reasoning
| 1:30 p.m. | Perspectives of Mathematical Organizations |
Gunnar Carlsson, American Mathematical Society | |
Brendan Hassett, Institute for Computational and Experimental Research in Mathematics | |
Dima Shlyakhtenko, Institute for Pure and Applied Mathematics | |
Suzanne Weekes, Society for Industrial and Applied Mathematics | |
Moderated by Heather Macbeth, Fordham University | |
| 2:30 p.m. | Concluding Remarks |
Jordan Ellenberg, University of Wisconsin–Madison | |
| 2:50 p.m. | Wrap Up |
Petros Koumoutsakos, Harvard University | |
| 3:00 p.m. | Adjourn Workshop |
