Opportunity Information: Apply for 24 554
The National Science Foundation (NSF) is offering a discretionary research grant opportunity called Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing), funding work that sits at the intersection of modern AI and rigorous mathematical reasoning. The core idea behind the program is to advance machine-assisted mathematical reasoning in ways that help automate knowledge discovery. NSF is specifically interested in research that combines innovative computational approaches and AI techniques with new methods, tools, or strategies for mathematical reasoning, including the kinds of reasoning involved in forming conjectures, constructing proofs, and verifying results. The program reflects the view that mathematical reasoning is a foundational component of human intelligence and a key engine behind scientific progress, and that making progress on automating parts of this process could have wide spillover effects across both mathematics and AI.
AIMing builds on several decades of prior work from both mathematics and computer science communities. Historically, progress in this space has come through formal methods, interactive theorem provers, and other systems designed to represent mathematical statements precisely and check proofs reliably. Alongside those approaches, AI-driven methods have increasingly been used to search for proof steps, guide conjecture generation, and assist with symbolic manipulation and verification tasks. NSF notes that recent technological advances have dramatically increased interest in this area, drawing attention from mathematical sciences researchers, formal methods experts, and AI researchers alike. A major theme of the opportunity is that breakthroughs in machine-assisted reasoning can directly push AI forward as well, because strong mathematical reasoning capabilities are closely tied to robust general intelligence, reliable decision-making, and verifiable system behavior.
Eligibility to submit proposals is limited to specific types of U.S.-based organizations. Proposals may be submitted by non-profit, non-academic organizations located in the United States that are directly associated with research or education, such as independent museums, observatories, research laboratories, and professional societies. Proposals may also be submitted by Institutions of Higher Education (IHEs), including both two-year and four-year accredited colleges and universities (including community colleges), as long as they have a U.S. campus and are submitting on behalf of their faculty members. The program does not allow submissions from for-profit non-academic organizations as the proposing organization under the categories listed, and it emphasizes U.S.-based institutional presence for eligibility.
Principal Investigator (PI) and other key personnel eligibility is also clearly defined. As of the proposal submission date, any PI, co-PI, or other senior/key personnel must hold either a tenured or tenure-track role, or a primary, full-time paid appointment in a research or teaching position, at a U.S.-based campus of an eligible submitting organization. Exceptions can be made for family or medical leave if the submitting organization determines that the appointment requirements are still met in that context. At the same time, the solicitation explicitly excludes individuals whose primary appointments are at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions, even if the parent institution is U.S.-based.
From a funding and administrative standpoint, this is an NSF grant opportunity (Funding Opportunity Number 24-554) in the Science and Technology and other Research and Development category. The listed CFDA numbers are 47.049 and 47.070. NSF anticipates making around 10 awards under this solicitation, with an award ceiling of $1,200,000 per award. The original closing date for submissions is June 3, 2024, and the opportunity record shows a creation date of March 5, 2024. Overall, AIMing is aimed at teams that can credibly connect AI methods with formal reasoning and mathematical proof technologies, with the broader goal of advancing automated or machine-assisted discovery and strengthening the underlying reasoning capabilities that future AI systems can build upon.Apply for 24 554
- The National Science Foundation in the science and technology and other research and development sector is offering a public funding opportunity titled "Artificial Intelligence, Formal Methods, and Mathematical Reasoning" and is now available to receive applicants.
- Interested and eligible applicants and submit their applications by referencing the CFDA number(s): 47.049, 47.070.
- This funding opportunity was created on 2024-03-05.
- Applicants must submit their applications by 2024-06-03. (Agency may still review applications by suitable applicants for the remaining/unused allocated funding in 2026.)
- Each selected applicant is eligible to receive up to $1,200,000.00 in funding.
- The number of recipients for this funding is limited to 10 candidate(s).
- Eligible applicants include: Others.
[Watch] Creating a grant proposal using the step-by-step wizard inside the applicant portal:
FAQs: NSF Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
What is the AIMing grant opportunity?
AIMing is a discretionary research grant opportunity from the National Science Foundation (NSF) focused on research at the intersection of modern artificial intelligence (AI) and rigorous mathematical reasoning. The program’s goal is to advance machine-assisted mathematical reasoning in ways that help automate knowledge discovery.
What does AIMing stand for?
AIMing stands for Artificial Intelligence, Formal Methods, and Mathematical Reasoning.
What is the core research focus of the AIMing program?
The core focus is advancing machine-assisted mathematical reasoning by combining innovative computational approaches and AI techniques with new methods, tools, or strategies for mathematical reasoning. This includes research related to forming conjectures, constructing proofs, and verifying results.
What kinds of reasoning activities does NSF highlight as being in scope?
NSF explicitly highlights reasoning involved in forming conjectures, constructing proofs, and verifying results as examples of the mathematical reasoning activities AIMing is interested in supporting.
Why is NSF emphasizing mathematical reasoning in an AI program?
The program reflects NSF’s view that mathematical reasoning is a foundational component of human intelligence and a key engine behind scientific progress. NSF also notes that automating parts of mathematical reasoning could have broad spillover effects across both mathematics and AI.
How does AIMing relate to prior work in mathematics and computer science?
AIMing builds on several decades of work across mathematics and computer science communities. Historically, progress in this space has come through formal methods, interactive theorem provers, and other systems that precisely represent mathematical statements and reliably check proofs. AIMing also recognizes increasing use of AI-driven methods for tasks like searching for proof steps, guiding conjecture generation, and assisting with symbolic manipulation and verification.
What role do formal methods and theorem provers play in AIMing?
Formal methods and interactive theorem provers are described as foundational approaches that represent mathematical statements precisely and check proofs reliably. AIMing situates new research alongside and in combination with these approaches.
What role do AI-driven approaches play in AIMing?
NSF notes that AI-driven methods are increasingly used to search for proof steps, guide conjecture generation, and assist with symbolic manipulation and verification tasks. AIMing is specifically interested in research that combines AI techniques with new methods, tools, or strategies for mathematical reasoning.
Why does NSF think breakthroughs in machine-assisted reasoning could advance AI more broadly?
A major theme of the opportunity is that breakthroughs in machine-assisted reasoning can directly push AI forward because strong mathematical reasoning capabilities are closely tied to robust general intelligence, reliable decision-making, and verifiable system behavior.
Who is eligible to submit a proposal as an organization?
Eligibility is limited to specific types of U.S.-based organizations. Proposals may be submitted by:
- Non-profit, non-academic organizations located in the United States that are directly associated with research or education (examples given include independent museums, observatories, research laboratories, and professional societies).
- Institutions of Higher Education (IHEs), including two-year and four-year accredited colleges and universities (including community colleges), as long as they have a U.S. campus and submit on behalf of their faculty members.
Are for-profit organizations eligible to submit as the proposing organization?
No. The solicitation states that for-profit non-academic organizations are not allowed to submit as the proposing organization under the categories listed.
Does the submitting organization need to be based in the United States?
Yes. Eligibility emphasizes a U.S.-based institutional presence. The eligible organization categories described are U.S.-located, and IHE submissions must be tied to a U.S. campus.
Who can serve as Principal Investigator (PI) or co-PI?
As of the proposal submission date, any PI, co-PI, or other senior/key personnel must hold either:
- A tenured or tenure-track role, or
- A primary, full-time paid appointment in a research or teaching position
and the appointment must be at a U.S.-based campus of an eligible submitting organization.
Are there exceptions to the PI/key personnel appointment requirements?
Yes. Exceptions can be made for family or medical leave if the submitting organization determines that the appointment requirements are still met in that context.
Who is explicitly excluded from PI/senior personnel eligibility?
The solicitation explicitly excludes individuals whose primary appointments are:
- At for-profit non-academic organizations, or
- At overseas branch campuses of U.S. institutions (even if the parent institution is U.S.-based).
Can someone at an overseas branch campus of a U.S. university be PI if the parent institution is in the U.S.?
No. The solicitation explicitly excludes individuals whose primary appointments are at overseas branch campuses of U.S. institutions, even if the parent institution is U.S.-based.
What is the Funding Opportunity Number for AIMing?
The Funding Opportunity Number is 24-554.
What is the awarding agency?
The awarding agency is the National Science Foundation (NSF).
What category does this opportunity fall under?
The opportunity is listed under the Science and Technology and other Research and Development category.
What are the CFDA numbers listed for this opportunity?
The listed CFDA numbers are 47.049 and 47.070.
How many awards does NSF anticipate making?
NSF anticipates making around 10 awards under this solicitation.
What is the maximum award amount (award ceiling)?
The award ceiling is $1,200,000 per award.
When is the proposal submission deadline?
The original closing date for submissions is June 3, 2024.
When was this opportunity record created?
The opportunity record shows a creation date of March 5, 2024.
What kinds of project teams is AIMing aimed at?
AIMing is aimed at teams that can credibly connect AI methods with formal reasoning and mathematical proof technologies, with the broader goal of advancing automated or machine-assisted discovery and strengthening reasoning capabilities that future AI systems can build upon.
Browse more opportunities from the same category: Science and Technology and other Research and Development
Next opportunity: Northern Ghana Governance Activity
Previous opportunity: Ambassador’s Special Self-Help Program
Applicant Portal:
Are you interested in learning about about how to apply for this government funding opportunity? You can create a free applicant account and receive instant access to our applicant portal that many business owners like you have benefited from.
Apply for 24 554
Applicants also applied for:
Applicants who have applied for this opportunity (24 554) also looked into and applied for these:
| Funding Opportunity |
|---|
| Improving Undergraduate STEM Education: Computing in Undergraduate Education Apply for 24 553 Funding Number: 24 553 Agency: National Science Foundation Category: Science and Technology and other Research and Development Funding Amount: $2,000,000 |
| NIJ FY24 Research and Evaluation of Policing Practices Apply for O NIJ 2024 172011 Funding Number: O NIJ 2024 172011 Agency: National Institute of Justice Category: Science and Technology and other Research and Development Funding Amount: $3,500,000 |
| NIJ FY24 Novel Psychoactive Substance Discovery, Education, and Reporting Institute Apply for O NIJ 2024 172007 Funding Number: O NIJ 2024 172007 Agency: National Institute of Justice Category: Science and Technology and other Research and Development Funding Amount: $2,000,000 |
| NIJ FY24 W.E.B. Du Bois Program of Research on Reducing Racial and Ethnic Disparities in the Justice System Apply for O NIJ 2024 172018 Funding Number: O NIJ 2024 172018 Agency: National Institute of Justice Category: Science and Technology and other Research and Development Funding Amount: $2,000,000 |
| NIJ FY24 Research and Evaluation on Youth Justice Topics Apply for O NIJ 2024 172022 Funding Number: O NIJ 2024 172022 Agency: National Institute of Justice Category: Science and Technology and other Research and Development Funding Amount: $2,000,000 |
| NIJ FY24 Research on Multidisciplinary Teams Apply for O NIJ 2024 172031 Funding Number: O NIJ 2024 172031 Agency: National Institute of Justice Category: Science and Technology and other Research and Development Funding Amount: $1,500,000 |
| Air Force Fiscal Year 2025 Young Investigator Program (YIP) Apply for FOAAFRLAFOSR20240004 Funding Number: FOAAFRLAFOSR20240004 Agency: Air Force Office of Scientific Research Category: Science and Technology and other Research and Development Funding Amount: $450,000 |
| FY 2024 Reaching a New Energy Sciences Workforce (RENEW) Apply for DE FOA 0003280 Funding Number: DE FOA 0003280 Agency: Office of Science Category: Science and Technology and other Research and Development Funding Amount: $2,250,000 |
| FY 2024 Funding for Accelerated, Inclusive Research (FAIR) Apply for DE FOA 0003207 Funding Number: DE FOA 0003207 Agency: Office of Science Category: Science and Technology and other Research and Development Funding Amount: $800,000 |
| Global Centers Apply for 24 556 Funding Number: 24 556 Agency: National Science Foundation Category: Science and Technology and other Research and Development Funding Amount: $5,000,000 |
| FY 2024 Competitive Academic Agreement Program (CAAP) Apply for 693JK324NF0003 Funding Number: 693JK324NF0003 Agency: Pipeline and Hazardous Materials Safety Admin Category: Science and Technology and other Research and Development Funding Amount: $1,000,000 |
| Centers of Research Excellence in Science and Technology - Research Infrastructure for Science and Engineering Apply for 24 562 Funding Number: 24 562 Agency: National Science Foundation Category: Science and Technology and other Research and Development Funding Amount: $2,000,000 |
| Data Science Corps Apply for 24 560 Funding Number: 24 560 Agency: National Science Foundation Category: Science and Technology and other Research and Development Funding Amount: $1,200,000 |
| BJA FY24 Competitive DNA Capacity Enhancement for Backlog Reduction (CEBR) Program Apply for O BJA 2024 172061 Funding Number: O BJA 2024 172061 Agency: Bureau of Justice Assistance Category: Science and Technology and other Research and Development Funding Amount: $1,000,000 |
| BJA FY24 Formula DNA Capacity Enhancement for Backlog Reduction (CEBR) Program Apply for O BJA 2024 172062 Funding Number: O BJA 2024 172062 Agency: Bureau of Justice Assistance Category: Science and Technology and other Research and Development Funding Amount: $3,500,000 |
| Specially Adapted Housing Assistive Technology (SAHAT) Grant Program Apply for VA SAHAT 24 09 Funding Number: VA SAHAT 24 09 Agency: VA Loan Guaranty Service Category: Science and Technology and other Research and Development Funding Amount: $200,000 |
| Evaluating the Movement Patterns and Survival of Juvenile Everglade Snail Kites (Rostrahamus sociabilis plumbeus) at Lake Okeechobee Apply for W81EWF 24 SOI 0018 Funding Number: W81EWF 24 SOI 0018 Agency: Engineer Research and Development Center Category: Science and Technology and other Research and Development Funding Amount: $94,900 |
| FY24 DEFENSE ESTABLISHED PROGRAM TO STIMULATE COMPETITIVE RESEARCH (DEPSCoR) – RESEARCH COLLABORATION (RC) Apply for FOAAFRLAFOSR20240007 Funding Number: FOAAFRLAFOSR20240007 Agency: Air Force Office of Scientific Research Category: Science and Technology and other Research and Development Funding Amount: $600,000 |
| FY24 DEFENSE ESTABLISHED PROGRAM TO STIMULATE COMPETITIVE RESEARCH (DEPSCoR) CAPACITY BUILDING (CB) Apply for FOAAFRLAFOSR20240006 Funding Number: FOAAFRLAFOSR20240006 Agency: Air Force Office of Scientific Research Category: Science and Technology and other Research and Development Funding Amount: $1,500,000 |
| Louis Stokes Alliances for Minority Participation Apply for 24 563 Funding Number: 24 563 Agency: National Science Foundation Category: Science and Technology and other Research and Development Funding Amount: $5,000,000 |
Grant application guides and resources
It is always free to apply for government grants. However the process may be very complex depending on the funding opportunity you are applying for. Let us help you!
Apply for Grants
Inside Our Applicants Portal
Access Applicants Portal
- Grants Repository - Access current and historic funding opportunities with ease. Thousands of funding opportunities are published every week. We can help you sort through the database and find the eligible ones to apply for.
- Applicant Video Guides - The grant application process can be challenging to follow. We can help you with intuitive video guides to speed up the process and eliminate errors in submissions.
- Grant Proposal Wizard - We have developed a network of private funding organizations and investors across the United States. We can reach out and submit your proposal to these contacts to maximize your chances of getting the funding you need.
Premium leads for funding administrators, grant writers, and loan issuers
Thousands of people visit our website for their funding needs every day. When a user creates a grant proposal and files for submission, we pass the information on to funding administrators, grant writers, and government loan issuers.
If you manage government grant programs, provide grant writing services, or issue personal or government loans, we can help you reach your audience.
Learn More
Request more information:
Would you like to learn more about this funding opportunity, similar opportunities to "24 554", eligibility, application service, and/or application tips? Submit an inquiry below:
Don't forget to subscribe to our grant alerts mailing list to receive weekly alerts on new and updated grant funding opportunities like this one in your email.