The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program is offering this grant to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies in mathematical reasoning. This grant is for the purpose of automating knowledge discovery by advancing machine-assisted mathematical reasoning. It seeks proposals that explore how AI can enhance mathematical processes like conjecture, proof, and verification, drawing from both formal methods and interactive theorem provers. Recent technological advances have spurred significant interest in this field across mathematical sciences, formal methods, and AI communities. The program emphasizes the reciprocal impact, where advances in this area can also contribute significantly to broader AI research, fostering a collaborative environment for innovation in computational intelligence.
Opportunity ID: 352796
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | 24-554 |
| Funding Opportunity Title: | Artificial Intelligence, Formal Methods, and Mathematical Reasoning |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 10 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 3 |
| Posted Date: | Mar 05, 2024 |
| Last Updated Date: | Feb 13, 2025 |
| Original Closing Date for Applications: | Jun 03, 2024 |
| Current Closing Date for Applications: | Feb 05, 2026 |
| Archive Date: | Mar 07, 2026 |
| Estimated Total Program Funding: | $6,000,000 |
| Award Ceiling: | $1,200,000 |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on Eligibility: | *Who May Submit Proposals: Proposals may only be submitted by the following: -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. – <span>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.</span> *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 withprimaryappointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible. |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| 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. |
| Link to Additional Information: | NSF Publication 24-554 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
Version History
| Version | Modification Description | Updated Date |
|---|---|---|
| . | Feb 13, 2025 | |
| . | Mar 05, 2024 | |
| Mar 05, 2024 |
DISPLAYING: Synopsis 3
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | 24-554 |
| Funding Opportunity Title: | Artificial Intelligence, Formal Methods, and Mathematical Reasoning |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 10 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 3 |
| Posted Date: | Mar 05, 2024 |
| Last Updated Date: | Feb 13, 2025 |
| Original Closing Date for Applications: | Jun 03, 2024 |
| Current Closing Date for Applications: | Feb 05, 2026 |
| Archive Date: | Mar 07, 2026 |
| Estimated Total Program Funding: | $6,000,000 |
| Award Ceiling: | $1,200,000 |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on Eligibility: | *Who May Submit Proposals: Proposals may only be submitted by the following: -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. – <span>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.</span> *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 withprimaryappointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible. |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| 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. |
| Link to Additional Information: | NSF Publication 24-554 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
DISPLAYING: Synopsis 2
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | 24-554 |
| Funding Opportunity Title: | Artificial Intelligence, Formal Methods, and Mathematical Reasoning |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 10 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 2 |
| Posted Date: | Mar 05, 2024 |
| Last Updated Date: | Jun 11, 2024 |
| Original Closing Date for Applications: | – |
| Current Closing Date for Applications: | Feb 05, 2025 |
| Archive Date: | Mar 07, 2026 |
| Estimated Total Program Funding: | $6,000,000 |
| Award Ceiling: | $1,200,000 |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on Eligibility: | *Who May Submit Proposals: Proposals may only be submitted by the following: -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. – <span>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.</span> *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 withprimaryappointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible. |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| 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. |
| Link to Additional Information: | NSF Publication 24-554 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
DISPLAYING: Synopsis 1
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | 24-554 |
| Funding Opportunity Title: | Artificial Intelligence, Formal Methods, and Mathematical Reasoning |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Grant |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | 10 |
| Assistance Listings: | 47.049 — Mathematical and Physical Sciences |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 1 |
| Posted Date: | Mar 05, 2024 |
| Last Updated Date: | Mar 05, 2024 |
| Original Closing Date for Applications: | – |
| Current Closing Date for Applications: | Jun 03, 2024 |
| Archive Date: | Mar 07, 2026 |
| Estimated Total Program Funding: | $6,000,000 |
| Award Ceiling: | $1,200,000 |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on Eligibility: | *Who May Submit Proposals: Proposals may only be submitted by the following: -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. – <span>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.</span> *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 withprimaryappointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible. |
Additional Information
| Agency Name: | U.S. National Science Foundation |
| 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. |
| Link to Additional Information: | NSF Publication 24-554 |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
NSF grants.gov support
grantsgovsupport@nsf.gov Email:grantsgovsupport@nsf.gov |
Related Documents
There are no related documents on this grant.
Packages
| Agency Contact Information: | NSF grants.gov support grantsgovsupport@nsf.gov Email: grantsgovsupport@nsf.gov |
| Who Can Apply: | Organization Applicants |
| Assistance Listing Number | Competition ID | Competition Title | Opportunity Package ID | Opening Date | Closing Date | Actions |
|---|---|---|---|---|---|---|
| PKG00285189 | Mar 05, 2024 | Feb 05, 2026 | View |
Package 1
Mandatory forms
352796 RR_SF424_5_0-5.0.pdf
352796 NSF_CoverPage_2_3-2.3.pdf
352796 NSF_KeyPersonExpanded_3_3-3.3.pdf
352796 RR_Budget_3_0-3.0.pdf
352796 PerformanceSite_4_0-4.0.pdf
352796 RR_OtherProjectInfo_1_4-1.4.pdf
Optional forms
352796 NSF_DeviationAuthorization-1.1.pdf
352796 NSF_SuggestedReviewers-1.1.pdf
352796 RR_SubawardBudget_3_0-3.0.pdf
Share This Post, Choose Your Platform!
About the Author: osnqt
