Scout | Artificial Intelligence, Formal Methods, and Mathematical Reasoning

This opportunity is no longer accepting applications.

grant

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

Agency: National Science Foundation

Program: SBIR

Award

Total Funding: $6M

Award Ceiling: $1.2M

Funding Amount: $1.2M

Total Awards Given 10

Dates

Opportunity Released: March 5, 2024

Open for Submission: March 5, 2024

Submission Deadline: February 5, 2025

Application Window Closes: February 5, 2025

Keywords

Artificial Intelligence

Formal Methods

Mathematical Reasoning

Knowledge Discovery

Machine-Assisted Reasoning

Theorem Provers

Computational Technologies

Proof Verification

Mathematics

AI Technologies

Supporting Links

Documents

Similar Opportunities

Unlock similar opportunities

Get the full picture on this opportunity

Create a free Scout account to unlock everything you need to decide fast and win the grant.

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.
Deep agency & funder detail

Program context, sub-agency structure, and a full eligibility breakdown.
Source links & full documents

Jump straight to the solicitation and download every attachment.
Similar opportunities

Discover related funding matched to your work.

Get a Demo Sign Up

Already have an account? Sign In

Trusted by 500+ Happy Customers