Artificial Intelligence, Formal Methods, and Mathematical Reasoning
The AIMing program supports research that combines AI technologies with new methods in mathematical reasoning to automate knowledge discovery. It focuses on enhancing human-like abilities in mathematics, such as conjecture, proof, and verification, using both formal methods and AI techniques. The program is interested in the growing collaboration between the fields of mathematics, computer sci…
Source
Award
Dates
Program & Phase
Keywords
Supporting Links
Documents
Similar Opportunities
-
Automated Processes for Knowledge Discovery and Information Retrieval
Air Force -- Research Lab
-
Broad Agency Announcement for Fundamental AI Research
Army Contracting Command Rock Island
-
Mathematical Sciences Research Institutes
National Science Foundation
-
Mathematical Foundations of Artificial Intelligence (MFAI)
National Science Foundation
-
Agentic-AI, Schema-Driven Decision Management for Auditable Studies and Acquisition Decisions
U.S. Department of Defense
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