Project Grant 2425401
Award Date 9/1/25
Completion Date 8/31/28
Dollars Obligated $3.2M
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
- The National Science Foundation (NSF) awarded Carnegie Mellon University a $567,000 Project Grant under the Mathematical and Physical Sciences federal grant program (CFDA 47.049). The grant, which runs from September 1, 2025 to August 31, 2028, supports the "AIMING: A NEURO-SYMBOLIC APPROACH TO MECHANIZED MATHEMATICAL REASONING" project. This project aims to develop novel AI techniques that combine machine learning and symbolic AI methods to advance mathematical reasoning and the...
- This National Science Foundation (NSF) Project Grant award under the Mathematical and Physical Sciences federal grant program (CFDA 47.049) will explore new ways to address complex mathematical problems by integrating advanced machine learning techniques with automated reasoning. The $418,035 grant awarded to Carnegie Mellon University will support a collaborative research effort between mathematicians and computer scientists to develop and evaluate new algorithms for solving three specific open...
- This $300,000 Project Grant was awarded on September 1, 2025 by the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049). The grant will fund research at Carnegie Mellon University to develop mathematically sound approaches for sampling and generative modeling in high-dimensional problems, which is critical for advancing machine learning and artificial intelligence (AI) techniques. The research aims to create efficient sampling methods with rigorous...
- The National Science Foundation awarded $544,003 to Carnegie Mellon University under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for a three-year Project Grant beginning October 1, 2022. The grant aims to develop formal libraries, methods, and tools to carry out tasks like encoding statements as clausal formulas and reducing search spaces in verified ways using automated reasoning and interactive theorem proving. Specifically, the university will...
- This federal Project Grant award of $322,400.00 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE, CFDA 47.070) program was provided to The Leland Stanford Junior University (Stanford University) to develop artificial intelligence (AI) systems capable of accelerating mathematical research and theorem proving. The goal is to create the first AI system able to prove graduate-level mathematical theorems and tackle unsolved problems that challenge...
- This federal Project Grant award, valued at $225,000.00 and provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences program (CFDA 47.049), aims to develop a new artificial intelligence (AI) system to work alongside mathematicians in tackling complex mathematical problems that have remained unsolved for nearly a century. The research combines the strengths of large language models and formal verification tools to create a unified framework for scalable,...
- This $150,000 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) supports research at Carnegie Mellon University to advance the theoretical and applied frontiers at the intersection of probability, geometry, and combinatorics. The project focuses on three main research directions: 1) enabling efficient statistical inference for geometric probability distributions, 2) analyzing minimum lengths of combinatorial structures in...
- This $250,000 Project Grant was awarded by the National Science Foundation (NSF) under the Mathematical and Physical Sciences Federal Grant Program (CFDA 47.049) to Carnegie Mellon University (CMU). The project aims to develop flexible, valid inference procedures for modern complex data that leverage powerful black-box machine learning algorithms. Key focus areas include novel variants of cross-validation to enable adaptive inference, as well as performance guarantees of cross-validation for...
- This Project Grant award for $225,000.00, provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences Federal Grant Program (CFDA 47.049), aims to develop a new artificial intelligence (AI) system that works alongside mathematicians to tackle complex mathematical problems. The project, titled "COLLABORATIVE RESEARCH: AIMING: TOWARDS THE HADAMARD CONJECTURE: A UNIFIED NEUROSYMBOLIC REASONING AND FORMAL VERIFICATION PARADIGM," will combine the strengths...
- Carnegie Mellon University was awarded a $303,034 Project Grant from the National Science Foundation Division of Mathematical Sciences on August 1, 2021 to complete the project by June 30, 2024. The grant funds NEW APPROACHES TO QUESTIONS IN SAMPLING, COUNTING, AND OPTIMIZATION under the Mathematical and Physical Sciences program (CFDA 47.049). This program aims to promote progress in mathematical and physical sciences to strengthen the nation's scientific enterprise. The grant will support...