Category results for: AI
NSF Planning Grants to Create Artificial Intelligence (AI)-Ready Test Beds (Dear Colleague Letter)
Planning Grants funded through this DCL are expected to cultivate research teams that actively address the expansion or enhancement of an existing test bed to evaluate the impact on and interaction with users of novel AI methods.
NSF 24-554: Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
Due next: February 5, 2025 (and February 5, 2026) Solicitation and summary: 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 to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence […]