Fwd: NASEM virtual workshop: AI to Assist Mathematical Reasoning

[Siddhartha Gadgil]

May be of interest to some:

Registration is now open for a virtual workshop "AI to Assist Mathematical Reasoning" on June 12-14, organized by a committee appointed by the National Academies of Sciences, Engineering, and Medicine.  Here is the workshop webpage:

https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop

and [here](https://www.nationalacademies.org/documents/embed/link/LF2255DA3DD1C41C0A42D3BEF0989ACAECE3053A6A9B/file/D5DBCD07BFB3B3835BA234DD7CC8F45DED111D71E18F?noSaveAs=1) is the current list of confirmed speakers.

This workshop will bring together academic, industry, and government stakeholders to discuss the following topics:

- State of the art of using AI for mathematical reasoning, including case studies in particular domains.

- Opportunities to advance research in AI for mathematical reasoning and potential impacts from doing so, and technical advances required to expand this initiative.

- Current challenges and barriers to the use of AI for mathematical reasoning.

- Roles for stakeholders in advancing AI for mathematical reasoning.

In addressing these topics, the workshop will bring together domain experts from mathematics, statistics, computer science, data science, and other relevant fields; highlight emerging research opportunities; and explore approaches to strengthen coordination and collaboration among the interdisciplinary research communities.