Atom Grants
Toggle Sidebar main
Eligibility
Profile
Finance
Other
Similar Grants
Platform
Discover
For You
Search
Favorites
Account
Profile
Research Interests
Atom | AI to Assist Mathematical Reasoning: A Workshop
Back
AI to Assist Mathematical Reasoning: A Workshop
Rolling Submissions
NASEM
Description
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, encompassing the use of AI for mathematical discovery and for theorem proving. The workshop will particularly focus on exploring approaches to strengthen collaboration among research communities. Recordings of...
Read more
Eligible Applicants
- Unrestricted
Additional Eligibility Information
No specific eligibility restrictions are noted for attending or participating in the workshop.
Funding Type
other
Categories of Funding Activity
- Computers and Information Technology
- Math, Chemistry, and Physics
Grantor Contact Information
Sam Koretsky is the contact person for this workshop.
Grantor Email
skoretsky@nas.edu
Other Grantor Information
The National Academies of Sciences, Engineering, and Medicine are private, nonprofit institutions that provide independent, objective advice to inform policy with evidence, spark progress and innovation, and confront challenging issues for the benefit of society. They are comprised of three academies: the National Academy of Sciences, the National Academy of Engineering, and the National Academy of Medicine. The organization convenes hundreds of conferences, workshops, and symposia annually, bringing together leading experts from academia, public, and private sectors. Their work focuses on providing high-quality, evidence-based consensus on complex scientific, engineering, and health-related challenges. They produce peer-reviewed reports, publish scientific journals, and serve as a trusted source of expert advice for policymaking. The National Academies mobilize approximately 6,000 top experts each year who volunteer their time and knowledge to conduct policy studies, workshops, and other activities aimed at addressing critical issues facing the nation and world.
Additional Information
The workshop aims to bring together domain experts from various fields including mathematics, statistics, computer science, and data science, highlighting research opportunities and challenges in AI for mathematical reasoning. Additional URLs:
https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop
https://www.nationalacademies.org/event/40903_09-2023_artificial-intelligence-to-assist-mathematical-reasoning-webinar
https://nap.nationalacademies.org/catalog/27241/artificial-intelligence-to-assist-mathematical-reasoning-proceedings-of-a-workshop
https://www8.nationalacademies.org/pa/feedback.aspx?type=project&key=DEPS-BMSA-23-01
Supporting Link
https://www.nationalacademies.org/our-work/ai-to-assist-mathematical-reasoning-a-workshop
Start finding grants with Atom for
$0 today
$30 Billed monthly after 7-day trial. Cancel anytime.
Personalized grant emails delivered weekly, right to your inbox.
AI powered search engine with both keyword and semantic search capabilities.
Grant filters to find the perfect funding opportunities.
Get Started
Similar Grants
Artificial Intelligence in Health Professions Education: A Workshop
Rolling Submissions
NASEM
Exploring the Bidirectional Relationship Between Artificial Intelligence and Neuroscience: A Workshop
Rolling Submissions
NASEM
Artificial Intelligence at the Nexus of Collaboration, Competition, and Change: A Workshop
Rolling Submissions
NASEM