Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

Full Proposal Deadline Date: June 3, 2024 Program Guidelines: NSF 24-554The 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 to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery. In the last decades, both the mathematics and computer science communities ...More at https://beta.nsf.gov/programid/506242This is an NSF Upcoming Due Dates item.

Source: NSF Upcoming Due Dates - May 4, 2024 Category: Science Source Type: funding