Opportunity Title:
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
Funder/Agency:
National Science Foundation (NSF)
Opportunity Number:
24-554
Description:
The National Science Foundation Directorates for Mathematical and Physical Sciences (MPS) and Computer and Information Science and Engineering (CISE) will jointly sponsor new research projects at the interface of artificial intelligence, formal methods, and interactive theorem provers to guide and enhance research in the mathematical sciences, formal methods, and AI.
Successful projects should demonstrate the potential to advance both the mathematical sciences as well as the computational models and methods used to attain these advancements. The advancements may include, but are not limited to:
Advancing AI for mathematical conjecture, proof, verification
Advancing interactive theorem provers for mathematical proof and verification, software/hardware verification, and related applications,
Developing training data for AI algorithms for mathematical reasoning, both deterministic and under uncertainty, and novel approaches for infusing logic, mathematical reasoning, and compositionality into AI.
AIMing proposals must involve meaningful collaborations between researchers in the mathematical sciences with researchers in computational science. Each project is expected to clearly demonstrate substantial collaborative contributions across disciplines. Successful projects are expected to have a cohesive set of goals and a convincing implementation plan. Training through the research involvement of students, and/or postdoctoral associates from across this multi-disciplinary spectrum is an asset.
Thursday, April 11, 2024 at 1:00 pm Eastern Time.
Eligibility:
Institutions of Higher Education (IHEs)
Non-profit, non-academic organizations - Independent museums, observatories, research laboratories, professional societies
Award Details:
Total Amount Available:
$6,000,000
Maximum Award:
$1,200,000
Minimum Award:
$500,000
Deadline:
Applications Due June 03, 2024
Grant Management Associates has years of experience with opportunities like this one. Contact us today for a consultation.