Institute for Computer-Aided Reasoning in Mathematics — NSF Award to Carnegie Mellon University (PA, $4,892,000)
The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a national institute dedicated to catalyzing fundamental advances in mathematics by harnessing the ongoing revolution in AI and computer-assisted reasoning. Its mission is to empower mathematicians by providing them with the tools and expertise to eff
| Award title | Institute for Computer-Aided Reasoning in Mathematics |
|---|---|
| Award ID | 2425401 |
| Awardee | Carnegie Mellon University |
| City | PITTSBURGH |
| State | PA |
| Amount obligated | $4,892,000 |
| Principal investigator | Jeremy Avigad |
| Program | CYBERINFRASTRUCTURE, MATHEMATICAL SCIENCES RES INST, OFFICE OF MULTIDISCIPLINARY AC, Special Projects - CCF |
| Start date | 09/01/2025 |
| Abstract | The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a national institute dedicated to catalyzing fundamental advances in mathematics by harnessing the ongoing revolution in AI and computer-assisted reasoning. Its mission is to empower mathematicians by providing them with the tools and expertise to effectively integrate artificial intelligence, machine learning, formal methods, and automated reasoning into their research. Mathematics is integral to scientific and technological a |
| Source | NSF Awards |
$799/mo
Try NSFGrants →