Project Grant 2522496
Award Date 1/1/26
Completion Date 12/31/28
Dollars Obligated $136K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Provo, UT 84602, USA
Similar Awards
- This Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences Program (CFDA 47.049) is providing $271,080 to support a collaborative research project aiming to synergize advancements in artificial intelligence (AI) and mathematics. The project brings together experts from mathematical sciences, computer science, and AI to tackle complex problems at the intersection of these fields. The key objectives are to develop AI models that can reason...
- This federal Project Grant award for $271,080 from the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) program aims to synergize advancements in artificial intelligence (AI) and mathematics to enhance computational methods for mathematical reasoning and accelerate mathematical discovery. The collaborative research project brings together a multi-disciplinary team of experts from the mathematical sciences, computer science, and AI to develop AI...
- This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides funding of $322,400.00 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 AI systems that can tackle unsolved problems and prove graduate-level mathematical theorems, by...
- This $333,000 Project Grant awarded by the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CFDA 47.070) program supports a research project led by Carnegie Mellon University (CMU) titled "AIMING: A Neuro-Symbolic Approach to Mechanized Mathematical Reasoning". The project aims to develop novel AI techniques that combine machine learning and symbolic AI methods to enable advancements in...
- This $200,000 Project Grant awarded by the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) aims to develop a new artificial intelligence system that works alongside mathematicians to solve complex mathematical problems. The research combines the strengths of AI exploration and formal verification, with a focus on the longstanding Hadamard Conjecture. Key components include a self-evolving reasoning pipeline, chain-of-thought and curriculum learning,...
- This Project Grant award of $225,000.00 from the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program aims to develop a new artificial intelligence system that works alongside mathematicians to tackle complex mathematical problems. The key products and services to be delivered under this grant include: A self-evolving reasoning pipeline that uses synthetic data to guide the exploration of promising matrix constructions, with the goal of solving the...
- This $225,000 federal Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) aims to develop a new artificial intelligence (AI) system that works alongside mathematicians to tackle complex mathematical problems, with a focus on the Hadamard Conjecture. The project introduces a unified framework combining neural-symbolic reasoning and formal verification to enable scalable, trustworthy proof generation. Key components include a...
- This $100,000 Project Grant award from the National Science Foundation (NSF) Engineering program (CFDA 47.041) to the University of Washington aims to advance the mathematical foundations of artificial intelligence (AI) and generative AI models. The research project will characterize the mathematical frontiers of large language models and other generative AI systems, developing new theoretical frameworks and modeling principles to enable these AI systems to perform complex reasoning and...
- This $148,654 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program supports collaborative research to develop statistical tools that improve the reliability of artificial intelligence (AI) used in real-world applications. The research aims to establish mathematically rigorous methods for uncertainty quantification to build trustworthy AI. Key focus areas include enhancing theoretical guarantees and interpretability of neural...
- 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...