Artificial Intelligence, Formal Methods, and Mathematical Reasoning

U.S. National Science Foundation

Description

The AIMing program aims to support research that combines innovative AI technologies with new approaches in mathematical reasoning to automate knowledge discovery. It focuses on enhancing the ability of machines to perform tasks related to mathematical reasoning, such as conjecture, proof, and verification, by utilizing formal methods and AI techniques. The program seeks to bridge the gap between AI, computer science, and mathematical sciences, thereby advancing research in AI through improv…

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. …

Source

Grant ID

24-554

Agency

U.S. National Science Foundation

Subcategory/Subagency

U.S. National Science Foundation

Eligibility

The following categories of applicants are invited to apply:

  • Others (see text field entitled "Additional Information on Eligibility" for clarification)
Additional Eligibility Information
*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 research activities. - <span>Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on beha…
Awards & Funding

Total Funding

$6M

Award Ceiling

$1.2M

Funding Amount

Discretionary

Links
Similar opportunities

Save this grant and explore more opportunities

Share Grant

Share this grant opportunity with others.
Anyone with this link can view the grant details.