Summary
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 reasoning to automate knowledge discovery. Artificial intelligence for mathematics is a rapidly growing and
