The Institute for Computer-Aided Reasoning in Mathematics is a National Science Foundation Mathematical Sciences Research Institute on the campus of Carnegie Mellon University.

The institute’s mission is to support the use of new technologies for computer-aided reasoning and discovery in mathematics, including:

Formal methods and proof assistants

Automated reasoning and symbolic AI

Machine learning and neural AI