Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
NSF funds research on AI-enabled formal methods and mathematical reasoning for automated knowledge discovery, for U.S.-based universities and certain eligible nonprofit research organizations.
⚑ No deadline stated in the notice. · Applicants are limited to U.S.-based IHEs and certain U.S. nonprofit research organizations. · PI/co-PI/senior personnel must hold a tenured/tenure-track or full-time paid research/teaching appointment at the submitting U.S. campus.
This is a computer science / formal methods program centered on AI-assisted mathematical reasoning, which is far outside IPPRA’s social-behavioral, survey, policy, risk, and evaluation research portfolio. The team might contribute only as downstream users of AI tools or in a very indirect interdisciplinary role, but none of the named researchers has a fitting PI-level line here.
JUDGED AGAINST THE ROSTER'S PUBLICATION DOSSIER · GPT-5.4-MINI · 2026-10-14
Unit fits — one characterization, each unit's own rules
| Physical Sciences & Engineering (demo) | 90 strong | technical depth: central; funds applied research |
| IPPRA | 40 partial | outside portfolio topics; social/behavioral work is none; funds applied research |
| Tom Love Innovation Hub | 30 weak | funds applied research; deep-tech content |
Description
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.
Eligibility
*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.
Apply
View on Grants.gov → CONTACT: U.S. National Science Foundation <grantsgovsupport@nsf.gov>
Proposal brief SEE AN EXAMPLE →
A one-page internal memo: fit assessment, submission requirements, document scaffold, and next steps dated back from the deadline — tailored to your project idea if you add one.
Proposal shell · National Science Foundation conventions SEE AN NSF EXAMPLE →
Funder-faithful document skeletons — National Science Foundation's document set with section headings, page limits, reviewer guidance, and writing prompts; add a project idea to get [DRAFT] starter bullets. Download as .md for Word or Overleaf.