Artificial Intelligence, Formal Methods, and Mathematical Reasoning

National Science Foundation (NSF)

View website Save this grant

Next deadline: Jun 3, 2024

Later deadlines: Feb 5, 2025, Feb 5, 2026

Grant amount: US $500,000 - US $1,200,000

Fields of work: Mathematics Computer Science & Engineering Biomathematics & Biological Modeling Data Science & Digital Information Systems Artificial Intelligence (AI)

Applicant type: Nonprofit, College / University

Funding uses: Research

Location of project: Preferred: United States Other eligible locations: Anywhere in the world

Location of residency: United States


NOTE: All applications are due by 5:00 PM local time of applicant organization.

The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery. In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence. Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. In turn, advances in this field have potential impact on research in AI.

We've imported the main document for this grant to give you an overview. You can learn more about this opportunity by visiting the funder's website.

National Science Foundation (NSF)

Your history with this funder
No saved opportunities from this funder yet
Save this opportunity to add notes...
Save this opportunity to add contacts...

Other Funding Opportunities from National Science Foundation (Nsf)

Don't miss out on other good fit funders!

Get personalized grant recommendations, tracking and more by creating a free 14-day account.

No credit card required.
instrumentl testimonial face

"Winning 30% more grants thanks to Instrumentl was a huge morale boost. My confidence continues to grow."

Linda Rucker, Grant Writer

This page was last reviewed March 05, 2024 and last updated March 05, 2024