Artificial Intelligence, Formal Methods, and Mathematical Reasoning
Due: February 5, 2026 The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks tosupport research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to Read More