Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
Agency: U.S. National Science Foundation
Assistance Listings: 47.049 -- Mathematical and Physical Sciences
Description
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.
Eligibility
Eligible applicants
Miscellaneous
- Other
Additional information
Grantor contact information
Description
If you have any problems linking to this funding announcement, please contact the email address above.
Documents
No documents are currently available.
Link to additional information
Closing: --
Funding Opportunity is Archived, Proposals are not accepted
Award
$6,000,000
Program Funding
10
Expected awards
$--
Award Minimum
$1,200,000
Award Maximum
Funding opportunity number:
24-554
Cost sharing or matching requirement:
Funding instrument type:
Grant
Opportunity Category:
Discretionary
Opportunity Category Explanation:
Category of Funding Activity:
Science technology and other research and development
Category Explanation:
History
Version:
1
Posted date:
October 13, 2026
Archive date:
October 14, 2026
