Artificial Intelligence, Formal Methods, and Mathematical Reasoning

From National Science Foundation (NSF)

The U.S. National Science Foundation is an independent federal agency that supports science and engineering in all 50 states and U.S. territories. NSF was established in 1950 by Congress to promote the progress of science, advance the national health, prosperity and welfare, and secure the national defense.

Type of Support

Overview

The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program is designed to foster research collaborations at the intersection of computational and artificial intelligence technologies with mathematical reasoning methodologies. Its goal is to promote the development of innovative strategies and technologies for automating knowledge discovery, leveraging advances in both the mathematics and computer science fields. The program supports projects that explore machine-assisted mathematical reasoning—including conjecture, proof, and verification—to enhance research in AI, formal methods, and mathematical reasoning itself.

Eligibility

Organization's Location
eiusmod consectetur
Program Location
reprehenderit eu cupidatat id occaecat labore commodo
Organization Type
500k – 1.2M

Submission

Visit Apply for more information.

Similar grants