Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
U.S. National Science Foundation
Don't lose track of this one
We'll email you once about this listing. No list, no cadence.
Free. Verify your email, then we send one reminder only.
- Posted
- Oct 13, 2026
- Amount
- $1,200,000
- Closes
- No deadline published by the funder
Similar opportunities open now
- Robust Intelligence (RI)OpenNational Science FoundationNo deadline listed
- Mathematical Sciences Infrastructure Program ( MATHINF)OpenNational Science FoundationNo deadline listed
- Mathematical BiologySame funderOpenU.S. National Science FoundationCloses Oct 14, 2026
- Unlocking Dataset Value for AI-Enabled Scientific Discovery (AI Datasets)OpenNational Science FoundationCloses Nov 4, 2026 (in 21 days)
- U.S. National Science Foundation State and Regional Artificial Intelligence Infrastructure Hubs:OpenNational Science FoundationCloses Nov 4, 2026 (in 21 days)
Classification and identifiers
- Solicitation number
- 24-554
- Assistance listing (CFDA)
- 47.049
Amount
$1,200,000
Who can apply
Who May Submit Proposals: Proposals may only be submitted by the following: -null -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or research activities. -Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members. *Who May Serve as PI: As of the date the proposal is submitted, any PI, co-PI, or senior/key personnel must hold either: · a tenured or tenure-track position, or · a primary, full-time, paid appointment in a research or teaching position at a US-based campus of an organiz...
About this opportunity
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 su...