Project Grant 2522743
Award Date 9/15/25
Completion Date 8/31/28
Dollars Obligated $322K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Stanford, CA 94305, USA
Similar Awards
- 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,...
- 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 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop a new artificial intelligence (AI) system that can assist mathematicians in solving the longstanding Hadamard Conjecture. The $25,000 award, with a project period from September 1, 2025 to August 31, 2028, will be conducted by the University of California, Berkeley. The research will combine the strengths of large language models...
- This Project Grant award from the National Science Foundation (CFDA 47.049 - Mathematical and Physical Sciences) aims to develop a new artificial intelligence (AI) system that can work alongside mathematicians to tackle complex problems that have resisted solutions for nearly a century. The $0.00 award, effective September 1, 2025 through September 30, 2025, will focus on the Hadamard Conjecture, a longstanding open problem with applications in quantum error correction, communication systems,...
- 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...
- This $611,492 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program to the University of Texas at Austin focuses on developing neurosymbolic AI techniques to enhance the accessibility and efficiency of interactive formal theorem provers. The goal is to automate the low-level aspects of theorem-proving, enabling wider use of formal verification tools for applications like safer software, more robust hardware, and...
- The National Science Foundation (NSF) awarded a $597,395 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Leland Stanford Junior University (Stanford University) to investigate a model for AI-supported mobile augmented reality (AR) for precollege science learning. The project aims to create interactive AR "laboratories" that allow students to manipulate virtual science simulations using voice commands. The AR experiences will...
- The National Science Foundation awarded a $225,000 Project Grant under the Mathematical and Physical Sciences program (CFDA 47.049) to the University of Texas at Austin. The grant aims to develop a new artificial intelligence system that works alongside mathematicians to tackle longstanding open problems, with a focus on the Hadamard Conjecture. The project will combine the strengths of large language models and formal verification tools to enable scalable, trustworthy proof generation. Key...
- This Project Grant award of $450,000 was granted by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award was made to The Leland Stanford Junior University (Stanford University) to fund a research project titled "COMPUTATIONAL AND STATISTICAL LIMITS IN GENERATIVE SAMPLING." The primary goals of this project are: 1) To determine the fundamental computational and statistical limitations of...
- This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $100,000 to the University of Wisconsin System to conduct research on the mathematical foundations of advanced generative AI models. The project aims to characterize the mathematical principles that underpin the effectiveness of frontier AI models, such as large language models, and identify key mathematical quantities driving their...