Categories
Research Insights
NSF: Artificial Intelligence, Formal Methods, and Mathematical Reasoning
This program supports research at the interface of innovative computational and AI technologies and new strategies/technologies in mathematical reasoning to guide and enhance research in the mathematical sciences, formal methods and AI.
Amount: $500,000 – $1,200,000
Due Date: 02/05/2026