Artificial Intelligence, Formal Methods, and Mathematical Reasoning

Opportunity snapshot. This Grants.gov announcement - Artificial Intelligence, Formal Methods, and Mathematical Reasoning - is cataloged under number 24-554 and tied to CFDA assistance listing 47.049;47.070, posted by U.S. National Science Foundation. Grants.gov currently shows the opportunity as closed, first posted on March 5, 2024 and last updated on February 13, 2025. The funding category is Discretionary, delivered as a grant.

Award economics. The award range on file is Up to $1,200,000. The agency has projected $6.0 million in total estimated funding for this announcement. It expects to issue 10 awards. If the agency funds the expected 10 awards from the $6.0 million estimated pool, the average award works out to roughly $600,000. Cost sharing is not required, so applicants do not need to commit matching funds to be competitive on this opportunity. Federal award ranges are often upper bounds; actual allocations reflect program appropriations, the strength of the applicant pool, and the evaluation committee's scoring.

Deadline and action path. This opportunity closed on February 5, 2026. Future funding cycles may be published under the same CFDA number, so monitoring the parent program page is the most reliable way to catch re-announcements. Every Grants.gov submission requires an active SAM.gov registration and a Unique Entity ID. Review the Eligibility section below carefully, federal eligibility categories (nonprofit, state or local government, tribal, individual, educational institution, small business) have distinct registration and reporting requirements. Pre-application outreach to the listed agency contact is permitted and often welcomed, it helps clarify scope and scoring priorities. Before acting on the deadline or award figures above, verify them directly on the official Grants.gov listing, amendments can change dates and amounts after this page was last refreshed.