Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
This program funds research at the intersection of artificial intelligence, formal methods, and mathematical reasoning, with the goal of automating parts of knowledge discovery such as conjecture, proof, and verification. It supports work that combines machine-assisted reasoning approaches—e.g., interactive theorem proving, formal methods, and AI techniques—to advance mathematical knowledge an…
Source
Award
Eligibility
Keywords
Supporting Links
Documents
Similar Opportunities
-
Automated Processes for Knowledge Discovery and Information Retrieval
Air Force -- Research Lab
-
Agentic-AI, Schema-Driven Decision Management for Auditable Studies and Acquisition Decisions
U.S. Department of Defense
-
Agentic-AI, Schema-Driven Decision Management for Auditable Studies and Acquisition Decisions
U.S. Department of Defense
-
Mathematical Sciences Research Institutes
National Science Foundation
-
Broad Agency Announcement for Fundamental AI Research
Army Contracting Command Rock Island
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