NSF Research: Artificial Intelligence, Formal Methods, and Mathematical Reasoning

Ceiling: $1,200,000
Applications Due: Closed
Federal
National Science Foundation

This funding opportunity supports U.S. colleges and nonprofit organizations in advancing research that combines artificial intelligence with formal methods and mathematical reasoning to improve automated knowledge discovery and verification processes.

Description

The NSF’s funding opportunity 24-554, titled "Artificial Intelligence, Formal Methods, and Mathematical Reasoning," seeks to fund research that advances the intersection of artificial intelligence (AI), formal methods, and mathematical reasoning. This program, known as AIMing, focuses on enhancing machine-assisted mathematical reasoning to support automated knowledge discovery. It emphasizes innovations in conjecture, proof, and verification, leveraging tools like formal methods and interactive theorem provers alongside AI techniques. These developments hold the potential to influence AI research broadly and to contribute significantly to the fields of mathematics and computational sciences.

Eligible applicants are U.S.-based institutions of higher education (two- and four-year colleges) and certain non-academic nonprofit organizations associated with research or education, such as independent museums, observatories, and professional societies. The principal investigator must have a full-time research or teaching position at an eligible U.S.-based institution. Proposals submitted by individuals in for-profit organizations or by U.S. institutions' overseas campuses are not eligible for this program. With an estimated total funding of $6 million, the program expects to issue around ten awards, with funding for each project potentially reaching up to $1.2 million. The deadline for submission is February 5, 2025.

Eligibility

States
All
Regions
All
Eligible Entities
Private institutions of higher education, Public and State controlled institutions of higher education, Nonprofits

Funding

Program Funding
$6,000,000
Award Ceiling
$1,200,000
Award Floor
Award Count
10

Timing

Posted Date
June 12, 2024
App Status
No Longer Accepting Applications
Pre-app Deadline
Application Deadline
February 05, 2025

Funder

Funding Source
Source Type
Federal
Contact Name
Contact Email
Contact Phone
--

Why Organizations Trust GrantExec

$77.59B
Available Funding
7,305
Active Grants
330
New Grants Analyzed This Week