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

Source: https://welltoldgrants.com/grants/24-554-artificial-intelligence-formal-methods-and-mathematical/  
Official notice: https://www.grants.gov/search-results-detail/364068

> U.S. National Science Foundation offered grants of up to $1.2 million to the applicants described in the notice. It expected to make about 10 awards worth $6.0 million in total. It is no longer open on Grants.gov.

| Field | Value |
|---|---|
| Opportunity number | 24-554 |
| Agency | U.S. National Science Foundation |
| Status | Forecast |
| Deadline | not set |
| Award ceiling | $1.2 million |
| Award floor | not stated |
| Expected awards | 10 |
| Total funding | $6.0 million |
| Cost sharing | not required |
| Assistance Listings | 47.049 |

## Who can apply

- Others (see text field entitled "Additional Information on Eligibility" for clarification)

*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.

## What the grant funds

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.

## Questions people ask

### Is NSF 24-554 still open?

No. It is no longer open on Grants.gov. A newer notice is open: NSF 27-500, closes January 29, 2027 (83 days left).

### Who can apply for Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)?

U.S. National Science Foundation accepted applications from the applicants described in the notice. The notice adds further conditions, so read its eligibility section.

### What is the deadline for Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)?

Closed. Applications are no longer accepted; the program's newer notices are on this page when there are any.

### How much funding is available?

Awards of up to $1.2 million each. About $6.0 million in total across about 10 awards.

### Who has won Mathematical and Physical Sciences grants before?

The largest recipients over five fiscal years were Association of Universities for Research in Astronomy, Inc., Associated Universities Inc, California Institute of Technology. The program made 14,898 awards worth $8.5 billion in that time.