AI to Assist Mathematical Reasoning: A Workshop

A National Academies of Sciences, Engineering, and Medicine-appointed ad hoc committee will plan and organize a workshop that will bring together academic, industry, and government stakeholders to discuss the state of the art, current challenges, and opportunities to advance research in using AI for mathematical reasoning. This workshop will have a particular focus on exploring approaches to strengthen coordination and collaboration among interdisciplinary research communities in mathematics, statistics, computer science, data science, and other relevant fields.

Full event details


  • Day 1: Monday, June 12, 2023, 10:00 a.m. - 3:00 p.m. ET

  • Day 2: Tuesday, June 13, 2023, 10:00 a.m. - 3:00 p.m. ET

  • Day 3: Wednesday, June 14, 2023, 10:00 a.m. - 3:00 p.m. ET


Attend virtually: