AI and Formal Methods for Automated Mathematical Reasoning (AIMing)
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.
The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks tosupport research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. …
Funding Source
Awards & funding
Eligibility
*Who May Submit Proposals: Proposals may only be submitted by the following: -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or…
Supporting links
Secure Grant Funding 10x Faster
Scout delivers AI-powered grant writing paired with experts that's faster, more affordable, and built to win.
Already have an account? Sign In
Trusted by 500+ Happy Customers