Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
National Science Foundation
Who can apply
US-based academic institutions. Non-profit research organizations. Qualified researchers (typically requires US citizenship or permanent residency)
About this opportunity
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. In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence. Recent technological advances have led to a su...