Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support 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. Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. The program supports research that demonstrates potential to advance both the mathematical sciences as well as the computational models and methods used to attain these advancements. Successful projects should involve meaningful collaborations between researchers in the mathematical sciences with researchers in computational science, clearly demonstrating substantial collaborative contributions across disciplines.