Get alerts
Closed

Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

Federal funding opportunity 24-554 from U.S. National Science Foundation.

Posted
October 13, 2026
Closed
See announcement
Award ceiling
$1,200,000
Program funding
$6,000,000
Expected awards
10
Cost sharing
No
Instrument
Grant
Assistance listing
47.049
Category
Science and Technology and other Research and Development
Archives
October 14, 2026

Program funding history

Awards made under Assistance Listing 47.049 across FY2024–FY2026, from public federal spending records.

FY2024 obligated
$1.6B
FY2025 obligated
$1.7B
FY2026 (to date) obligated
$1.2B
Awards in window
9,597

Top recipients: Association of Universities for Research in Astronomy, Inc., Associated Universities Inc, California Institute of Technology, Florida State University, Cornell University

Source: USAspending.gov · refreshed September 2026 · Program page: awards, recipients and the opportunities under this listing →

This opportunity is closed. Applications are no longer accepted. Similar grants are listed below, and the free Tuesday digest carries the next ones like it.

Synopsis

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.

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 organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.

The official record

Grants.gov published the official terms and dates of this opportunity; this page keeps them as they were listed.

View on Grants.gov   Full announcement

Agency contact: U.S. National Science Foundation · [email protected] · 703-292-4203

New to federal funding? How to read an announcement · Who can apply · How grants work

Tell me when this program posts again

This round has closed. One email the morning after this program is posted again under a new number (we watch for about two years), and one more about a week before that round closes (the next morning, if it is already closer than that). That is all this sends — it is not a newsletter signup.

Stored once per grant, used only for this watch’s emails; every one carries a one-click unsubscribe. Privacy

Get grants like this every Tuesday — free

One email a week: the biggest new federal grants and what’s closing soon — the same list for everyone. Unsubscribe any time.

No spam, ever. Privacy

Similar grants

Same-day alerts, matched to you

The free digest is weekly — the same list for everyone. Members get every open federal grant scored to their organization — and an alert the day a real match posts: we read every new posting the day it opens. Free for 30 days, then $29/mo. Card required, cancel any time before day 31.

Not ready for a subscription? A one-time Fit Report — $29 — scores every open federal grant to your organization once, by email within one business day.

See pricing