Artificial Intelligence, Formal Methods, and Mathematical Reasoning
Posted: Mar 05, 2024 12:00:00 AM EST
Closes: 02/05/2026
Funding Information
Estimated Total Funding
$6,000,000
Award Ceiling
$1,200,000
Expected Number of Awards
10
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.
Synopsis
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.
Eligibility
Eligible Applicants:
*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.
-
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 withprimaryappointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.
-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 withprimaryappointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.
Funding Activity Categories
CFDA Numbers
- 47.049 - Mathematical and Physical Sciences
- 47.070 - Computer and Information Science and Engineering
Contact Information
Agency: National Science Foundation
Contact: National Science Foundation
Email: grantsgovsupport@nsf.gov
Phone: 703-292-4261
NSF grants.gov support
grantsgovsupport@nsf.gov
grantsgovsupport@nsf.gov
Additional Information
Document Type: synopsis
Opportunity Category: Discretionary
Version: 3
Last Updated: Feb 13, 2025 01:00:28 AM EST
Related Opportunities
AI Analysis & Insights
Get AI-powered insights about this grant opportunity
- Can you provide a brief, easy-to-understand summary of this grant opportunity?
- What types of projects or activities would be a good fit for this grant?
- What are the key eligibility requirements and who is most likely to qualify for this grant?
- What are the most important deadlines and timeline considerations for this grant?
- What are the typical costs and budget considerations for projects funded by this grant?
- What are common challenges or pitfalls to avoid when applying for this grant?
- How competitive is this grant and what can improve my chances of success?
- Ask any question...