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.
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.