Professors Guido Montúfar and Deanna Needell receive NSF AIMing grant
Professors Guido Montúfar and Deanna Needell have received a National Science Foundation grant on Artificial Intelligence, Formal Methods, and Mathematical Reasoning. This program (AIMing) supports research at the “interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery”. This grant is a collaboration between Cal Tech, […]
