Conference: Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) P — NSF Award to Carnegie Mellon Universi
This award provides additional participant support for the first meeting of principal investigators in the NSF Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program, which will be held at the new NSF Institute for Computer-Aided Reasoning in Mathematics on April 2 and 3, 2026. The AIMing
| Award title | Conference: Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) P |
|---|---|
| Award ID | 2603286 |
| Awardee | Carnegie Mellon University |
| City | PITTSBURGH |
| State | PA |
| Amount obligated | $36,585 |
| Principal investigator | Jeremy Avigad |
| Program | MSPA-INTERDISCIPLINARY |
| Start date | 02/15/2026 |
| Abstract | This award provides additional participant support for the first meeting of principal investigators in the NSF Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program, which will be held at the new NSF Institute for Computer-Aided Reasoning in Mathematics on April 2 and 3, 2026. The AIMing program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoni |
| Source | NSF Awards |
$799/mo
Try NSFGrants →