Home Math AI to Help Mathematical Reasoning: A Workshop

AI to Help Mathematical Reasoning: A Workshop

0
AI to Help Mathematical Reasoning: A Workshop

[ad_1]

The Nationwide Academies of Science, Engineering, and Arithmetic are internet hosting a digital workshop on the subject of “AI to Help Mathematical Reasoning” from June 12-14. The tentative program may be discovered right here. I’m one of many members of the organizing committee for this workshop, along with Petros Koumoutsakos, Jordan Ellenberg, Melvin Greer, Brendan Hassett, Yann A. LeCun, Heather Macbeth, Talia Ringer, Kavitha Srinivas, and Michelle Schwalbe. There may be some thematic overlap (and some audio system in widespread) with the latest IPAM program on machine assisted proof, although with extra of a deal with the present and projected technical capabilities of machine studying algorithms for arithmetic. Registration for the occasion is at the moment open at the net web page for the workshop.

[ad_2]

LEAVE A REPLY

Please enter your comment!
Please enter your name here