Artificial Intelligence, Formal Methods, and Mathematical Reasoning
The AIMing program supports research in AI and mathematical reasoning to automate knowledge discovery, impacting both fields through innovative computational technologies.
Browse similar grants
This grant is no longer accepting proposals
U.S. National Science Foundation has archived this opportunity.
Funder: National Science Foundation
Due Dates: February 5, 2025 | February 5, 2026
Funding Amounts: $500,000–$1,200,000 per award (up to 3 years); 6–10 awards per cycle; up to $6M/year total program funding
Summary: Supports research at the intersection of artificial intelligence, formal methods, and mathematical reasoning to automate and accelerate knowledge discovery.
Key Information: Proposals must involve meaningful collaboration between mathematical and computational sciences; only one proposal per PI/co-PI per deadline.
Description
This program supports innovative research at the interface of artificial intelligence (AI), formal methods, and mathematical reasoning, with the goal of automating and accelerating knowledge discovery. The initiative is designed to foster advances in both the mathematical sciences and computational models/methods, including but not limited to:
- AI for mathematical conjecture, proof, and verification
- Interactive theorem provers for mathematical and software/hardware verification
- Development of training data and new approaches for infusing logic and reasoning into AI
Projects must demonstrate substantial, cross-disciplinary collaboration between researchers in the mathematical sciences and computational sciences. The program encourages participation from diverse institutions and individuals, including Minority-Serving Institutions, Primarily Undergraduate Institutions, two-year colleges, and EPSCoR jurisdictions.
