Artificial Intelligence to Assist Mathematical Reasoning Proceedings of a Workshop (2023) / Chapter Skim
Currently Skimming:
Appendix A: Workshop Agenda
Appendix A: Workshop Agenda
Pages 71-74
The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.
From page 71... ...
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.
|
From page 72... ...
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.
|
From page 73... ...
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.
|
From page 74... ...
Concluding Remarks Jordan Ellenberg, University of Wisconsin–Madison 2:50 p.m. Wrap Up Petros Koumoutsakos, Harvard University 3:00 p.m.
|
Key Terms
This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More
information on Chapter Skim is available.