Trialect

+ More Filters

Reset Filters

Title

Funding Organization

Funding Type

Eligible Country

Deadline

Other (Select all that apply)

Show Expired Programs

Show Verified Programs

Not Verified

Artificial Intelligence, Formal Methods, and Mathematical Reasoning

U.S. National Science Foundation (NSF)

Program Title:

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

Synopsis of Program:

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. Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. In turn, advances in this field have potential impact on research in AI.

Award Information

Anticipated Type of Award: Standard Grant or Continuing Grant

Estimated Number of Awards: 6 to 10

We anticipate making 6-10 awards in each competition. ;Each award size may vary and is expected to range from $500k to $1.2M total for up to 3 years. Award size is contingent upon the scope, scale and complexity of the proposed project. The number of awards will be subject to the availability of funds and quality of proposals received.

Anticipated Funding Amount: $5,000,000 to $6,000,000

Up to $6,000,000 per year is expected for new awards, subject to availability of funds and receipt of meritorious proposals.

Specialties

Artificial Intelligence

Eligibility Requirements

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

Who May Serve as PI:

As of the date the proposal is submitted, any PI, co-PI, or senior/key personnel must hold either:
a tenured or tenure-track position, or
a primary, full-time, paid appointment in a research or teaching position
at a US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.

Limit on Number of Proposals per Organization:

There are no restrictions or limits.

Limit on Number of Proposals per PI or co-PI: 1

A Principal Investigator (PI) or co-Principal Investigator (co-PI) can be part of no more than one proposal per deadline in response to this solicitation

Sponsor Details

Sponsor Institute/Organizations: U.S. National Science Foundation (NSF)

Sponsor Type: Government/Federal

Address: 2415 Eisenhower Ave Alexandria, VA 22314 (703) 292-5111

Legal & Affiliation Disclaimer

Affiliation Disclaimer: Trialect operates independently and is not affiliated with, endorsed by, or supported by any sponsors or organizations posting on the GrantsBoard platform. As an independent aggregator of publicly available funding opportunities, Trialect provides equal access to information for all users without endorsing any specific funding source, content, organization, or sponsor. Trialect assumes no responsibility for the content posted by sponsors or third parties.

Subscription Disclaimer: Upon logging into Trialect, you may choose to SUBSCRIBE to GrantsBoard for timely notifications of funding opportunities and to access exclusive benefits, such as priority alerts, reminders, personalized recommendations, and additional application support. However, users are advised to contact sponsors directly for any questions and are not required to subscribe to engage with funding opportunities.

Content Ownership and Copyright Disclaimer: Trialect respects the intellectual property rights of all organizations and individuals. All content posted on GrantsBoard is provided solely for informational purposes and remains the property of the original owners. Trialect does not claim ownership of, nor does it have any proprietary interest in, content provided by third-party sponsors. Users are encouraged to verify content and ownership directly with the posting sponsor.

Fair Use Disclaimer: The information and content available on GrantsBoard are compiled from publicly accessible sources in alignment with fair use principles under U.S. copyright law. Trialect serves as an aggregator of this content, offering it to users in good faith and with the understanding that it is available for public dissemination. Any organization or individual who believes their intellectual property rights have been violated is encouraged to contact us for prompt resolution.

Third-Party Posting Responsibility Disclaimer: Trialect is a neutral platform that allows third-party sponsors to post funding opportunities for informational purposes only. Sponsors are solely responsible for ensuring that their postings comply with copyright, trademark, and other intellectual property laws. Trialect assumes no liability for any copyright or intellectual property infringements in third-party content and will take appropriate action to address any substantiated claims.

Accuracy and Verification Disclaimer: Trialect makes no warranties regarding the accuracy, completeness, or reliability of the information provided by sponsors. Users are advised to verify the details of any funding opportunity directly with the sponsor before taking action. Trialect cannot be held liable for any discrepancies, omissions, or inaccuracies in third-party postings.

Notice and Takedown Policy: Trialect is committed to upholding copyright law and protecting the rights of intellectual property owners. If you believe that content on GrantsBoard infringes your copyright or intellectual property rights, please contact us with detailed information about the claim. Upon receipt of a valid notice, Trialect will promptly investigate and, where appropriate, remove or disable access to the infringing content.

View Funding Opportunity