Artificial Intelligence, Formal Methods, and Mathematical Reasoning
National Science Foundation
Description
The AIMing program aims to support research that combines innovative AI technologies with new approaches in mathematical reasoning to automate knowledge discovery. It focuses on enhancing the ability of machines to perform tasks related to mathematical reasoning, such as conjecture, proof, and verification, by utilizing formal methods and AI techniques. The program seeks to bridge the gap between AI, computer science, and mathematical sciences, thereby advancing research in AI through improv…
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. …
Source
Grant ID
24-554
Funding Source
National Science Foundation
Eligibility
The following categories of applicants are invited to apply:
- Others (see text field entitled "Additional Information on Eligibility" for clarification)
Awards & Funding
Total Funding
$6M
Award Ceiling
$1.2M
Funding Amount
Discretionary
Links
Similar opportunities
- Mathematical Foundations of Artificial Intelligence
- Science of Learning and Augmented Intelligence (SL)
- Artificial Intelligence and Technology Collaboratory (P30 Clinical Trial Optional)
- Collaborations in Artificial Intelligence and Geosciences
- Novel AI Techniques for Insights in Various Environments (NATIVE)