Project Grant 2522494
Award Date 1/1/26
Completion Date 12/31/28
Dollars Obligated $271K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Pasadena, CA 91125, 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 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) provides $135,513 to Brigham Young University to synergize advancements in artificial intelligence (AI) and mathematics. The project aims to develop AI models that can reason constructively about complex mathematical problems, improve formal proof systems, and create new AI tools that integrate mathematical intuition and creativity. Additionally, the research seeks to...
- This Project Grant award from the National Science Foundation (CFDA 47.049 - Mathematical and Physical Sciences) provides $225,000 in funding over a 3-year period from September 1, 2025 to August 31, 2028. The project aims to develop a new artificial intelligence system that can work alongside mathematicians to tackle complex mathematical problems, focusing specifically on the long-standing Hadamard Conjecture. The research combines the strengths of large language models and formal...
- 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 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 $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 $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 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 federal Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) provides $399,625 to California State University Channel Islands (CSUCI) to explore the intersections of nonlocal vector calculus and the mathematics of intelligences. The research aims to advance mathematical theories and models to contribute to fields ranging from artificial intelligence to natural and cognitive sciences. The project will formulate new...