Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

In plain English

U.S. National Science Foundation has posted this grant. Grants.gov lists no fixed close date, so check the official listing for how and when applications are accepted.

Awards are up to $1,200,000 each, the agency expects to make 10 awards and estimated total program funding is $6,000,000.

Eligibility is described in the listing text (the "Others" category).

The listing says cost sharing or matching is not required.

Built only from the fields in the Grants.gov listing. Always confirm on the official listing.

• Others (see the eligibility details in the listing)

Additional eligibility information (excerpt from the listing):

*Who May Submit Proposals: Proposals may only be submitted by the following: -null -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. -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 behalf of their faculty members. …

Excerpt from the official synopsis on Grants.gov (shortened; read the full text on the official listing):

The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery. In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence. …

Read the full listing on Grants.gov → · Agency's announcement page