Artificial Intelligence, Formal Methods, and Mathematical Reasoning
The AIMing program supports research that combines artificial intelligence with formal methods and mathematical reasoning to automate knowledge discovery, including conjecture generation, proof, and verification. It funds work bridging machine-assisted theorem proving, interactive proof systems, and AI techniques to advance both mathematics and AI capabilities.
Source
Award
Eligibility
Keywords
Supporting Links
Documents
Similar Opportunities
-
Broad Agency Announcement for Fundamental AI Research
Army Contracting Command Rock Island
-
Mathematical Foundations of Artificial Intelligence
National Science Foundation
-
Foundations
National Science Foundation
-
Scalable Platform for Enterprise Engineering and Deployment towards Mathematics for the Discovery of Algorithms and Architectures (SPEED DIAL)
U.S. Department of Defense
-
Collaboratory to Advance Mathematics Education and Learning (CAMEL) for K-12
Find tens of thousands more opportunities — free
Scout accounts are free. Sign up to browse the full funding database, unlock the solicitation links and documents for this opportunity, and see how well each one fits your organization.
-
Tens of thousands of funding opportunities
Search and filter every grant and solicitation in Scout — all free, no credit card required.
-
Instant Fit Analysis
Let our grant expert AI score how well this opportunity aligns with your organization, strengths, gaps, and how to improve your chances of winning funding.
-
Source links & full documents
Jump straight to the solicitation and download every attachment.
-
Save opportunities & track deadlines
Keep the opportunities that fit in one place and stay ahead of every due date.
Already have an account? Sign In
Trusted by 500+ Happy Customers