Closed · 24-554 · CFDA 47.049;47.070 · Discretionary

Artificial Intelligence, Formal Methods, and Mathematical Reasoning

Federal grant opportunity posted by U.S. National Science Foundation, cataloged on Grants.gov.

up to $1.2M
Award range
Closed
Status
February 5, 2026
Close date
10
Expected awards

The verdict

Artificial Intelligence, Formal Methods, and Mathematical Reasoning is a closed discretionary listing from U.S. National Science Foundation that offered Up to $1,200,000 across 10 expected awards. Future funding cycles may be published under the same CFDA number. PlainGrants indexes 1,338 other opportunities from U.S. National Science Foundation.

up to $1.2M
award range
Closed
application status
10
expected awards
47.049;47.070
CFDA program

Recently closed NOFO

This listing closed on February 5, 2026. CFDA 47.049;47.070 may re-announce under a new opportunity number. Historical award band was Up to $1,200,000.

According to Grants.gov (extract vintage 2026-08-10), this record reflects the officially published listing. See methodology.

Deadline tracker

Application window closed

Closed February 5, 2026

Posted Mar 5 Closes Feb 5

Est. Total Funding

$6,000,000

Expected Awards

10

Instrument

Grant

Description

The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks tosupport 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.

Catch-all / unrestricted eligibility mark · 24-554

Grants.gov marks Artificial Intelligence with a catch-all / unrestricted eligibility code (Others (see official listing text)). Read the official announcement text for the real applicant filter — the code alone is not a door list. The extract does not mark applicant cost-sharing as required. Instrument: Grant. Funding-activity code maps to Science and Technology / R&D (ST). This eligibility-code string dominates the U.S. National Science Foundation book (722 peers, 54% of 1,339).

Code 25
Others (see official listing text)

Codes are Grants.gov eligibility category values from the extract vintage 2026-08-10. Confirm the full eligibility statement on the official listing or the Grants.gov eligibility reference.

Official Listing on Grants.gov

View full details, application forms, and submission instructions.

View on Grants.gov

Agency Contact

NSF grants.gov support grantsgovsupport@nsf.gov

More from U.S. National Science Foundation

Open Closes November 4, 2026

U.S. National Science Foundation State and Regional Artificial Intelligence Infrastructure Hubs:

View →
Open Closes November 4, 2026

Unlocking Dataset Value for AI-Enabled Scientific Discovery (AI Datasets)

View →
Closed Closed October 9, 2026

Engineering Research Initiation

View →
Open Closes November 4, 2026

NSF Small Business Innovation Research / Small Business Technology Transfer Phase I, Phase II, Fast-Track Programs: A Pilot Emphasis on Scientific Instrumentation

View →
Closed Closed October 1, 2026

EDU Core Research

View →

What to do next

Artificial Intelligence is closed; use the parent program and agency catalog for the next funding cycle.

  • Browse open federal opportunities in the same category when this listing is closed. Open opportunities
  • Look up CFDA 47.049;47.070 across all indexed listings before you commit to this opportunity alone. Eligibility finder
  • Compare award ranges across federal categories before you pick a single CFDA. All categories

Opportunity deadlines and eligibility change on Grants.gov; PlainGrants mirrors the extract and is not the submission system.

Disclaimer: This information is sourced from Grants.gov and SAM.gov and is for informational purposes only. Opportunity details, deadlines, and eligibility requirements change frequently. Always verify current information directly on Grants.gov before applying. PlainGrants is not affiliated with any federal agency.

Read our methodology - how this data is sourced, computed, and verified.

Data sourced from the SAM.gov Assistance Listings and Grants.gov. See our methodology for details. Retrieved and formatted by PlainGrants