Apr 15, 2026
ICARM mentioned in Quanta
ICARM director Jeremy Avigad is quoted in Quanta Magazine's survey of AI's arrival in mathematical research.
Institute for Computer-Aided Reasoning in Mathematics
ICARM supports the use of new technologies for computer-aided reasoning and discovery in mathematics. The institute is hosted by Carnegie Mellon University on its campus in Pittsburgh.
- Formal methods and proof assistants
- Automated reasoning and symbolic AI
- Machine learning and neural AI
Robert Mehrabian Collaborative Innovation Center · CMU
News
Dec 11, 2025
Join ICARM at JMM 2026
Find ICARM at the 2026 Joint Mathematics Meetings in Washington, DC — at our exhibition booth and a two-part tutorial on automated reasoning.
Aug 4, 2025
NSF launches ICARM as a pilot institute
The National Science Foundation has established ICARM at Carnegie Mellon as one of six new mathematical sciences research institutes, part of a $74-million investment.
