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