The Institute for Computer-Aided Reasoning in Mathematics is an NSF Mathematical Sciences Research Institute located 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