Funder: National Science Foundation
Due Dates: February 5, 2025 | February 5, 2026
Funding Amounts: $500,000–$1,200,000 per award (up to 3 years); 6–10 awards per cycle; up to $6M/year total program funding
Summary: Supports research at the intersection of artificial intelligence, formal methods, and mathematical reasoning to automate and accelerate knowledge discovery.
Key Information: Proposals must involve meaningful collaboration between mathematical and computational sciences; only one proposal per PI/co-PI per deadline.