Project Grant 2522495
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
Los Angeles, CA 90095, USA
Similar Awards
- 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 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 (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 $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 $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 $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 Project Grant award from the National Science Foundation (NSF) under the STEM Education program (CFDA 47.076) will provide $499,985 to the University of Arizona to revolutionize their graduate program in Applied Mathematics (AM). The goal is to integrate artificial intelligence (AI) into the AM curriculum, preparing students for non-academic research careers in national and industrial laboratories. Key project activities include: Modernizing the AM curriculum to align with national security...