Conference: artificial intelligence, formal methods, and mathematical reasoning (aiming) PI meeting

Active Project Grant Awarded Last action

Award ID
2603286
Recipient
Awarding agency
Obligated
$36,585

Award facts

Assistance listing
47.049 Mathematical and Physical Sciences
Completion date 70% complete
Place of performance
Pittsburgh, PA 15213, USA

Award details come from USAspending.gov.

Description

As the agency reported it.

Abstract
This award provides additional participant support for the first meeting of principal investigators in the NSF artificial intelligence, formal methods, and mathematical reasoning (aiming) program, which will be held at the new NSF institute for computer-aided reasoning in mathematics on april 2 and 3, 2026. The 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. Artificial intelligence for mathematics is a rapidly growing and extremely competitive field, especially in the US and china. The AI research community has come to realize that the only route to general intelligence is to combine the strengths of both neural and symbolic approaches to AI, specifically by developing AI systems capable of mathematical reasoning. AI that can reason with mathematical precision is crucial for developing safe, secure, and reliable hardware and software systems, making accurate financial and economic predictions, developing complex scientific and engineering models, and more. The meeting will foster collaboration and communication between the groups funded by the program, to support synergies to maximize the program's impact. This grant will support additional participants in the meeting, including students and collaborators of the PIS. The event website is available at https://icarm.IO/event/NSF-aiming-PI-meeting/. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the foundation's intellectual merit and broader impacts review criteria.- subawards are not planned for this award.

Quick answers

Who received award 2603286?

2603286 was awarded to Carnegie-Mellon University by Division of Mathematical Sciences (National Science Foundation) on February 15, 2026.

How much is award 2603286 worth?

$36,585 has been obligated on 2603286.

On GovTribe

See this award's full record

  • Every transaction and subaward
  • The recipient's other awards and teaming partners
  • Similar grant awards
  • Ask GovTribe AI about this award
Try for free Login