Project Grant 2434614
Award Date
9/1/25
Completion Date
8/31/28
Dollars Obligated
$567K
Federal Agency
Division of Mathematical Sciences
Federal Grant Program
47.049
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
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 National Science Foundation (NSF) Mathematical and Physical Sciences Program Project Grant, awarded to Clemson University, aims to enhance the functionality of interactive theorem provers in mathematical reasoning by integrating advanced artificial intelligence (AI) technologies. The $1,198,339 project, named MATHSCY, will run from September 1, 2024 to August 31, 2027. It seeks to assist in conjecture formulation, proof construction, and counterexample finding, addressing current...
This National Science Foundation (NSF) STEM Education (CFDA 47.076) Project Grant award provides $749,996 to the University of Florida to develop an innovative artificial intelligence model that can provide feedback on student proofs in proof-oriented mathematics courses. The project aims to improve the proof-writing abilities of undergraduate students by training the AI model to give immediate, iterative, research-based feedback on student proofs. The project involves sub-awards to St. Olaf...
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...
This $300,000 federal Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) aims to develop innovative Artificial Intelligence (AI) tools to study polyhedra, which are fundamental geometric shapes with wide-ranging applications. The key objectives of the project include: Leveraging AI techniques like diffusion methods and reinforcement learning to generate diverse, high-quality polyhedral samples Integrating large language...
This National Science Foundation (NSF) award under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $295,169 to Carnegie Mellon University (CMU) to develop an experimental approach that leverages large language models (LLMs) and rule-based symbolic AI to generate and verify high-performance math kernels. The project aims to address the challenge of ensuring the correctness of code snippets produced by generative AI systems, which lack the...
Carnegie Mellon University was awarded a $738,927 project grant from the National Science Foundation Division of Behavioral and Cognitive Sciences under the Social, Behavioral, and Economic Sciences federal grant program (CFDA 47.075). The three-year project grant, awarded September 1, 2021 and set to be completed by August 31, 2024, will support research toward developing personalized machine learning models, reasoning approaches under data-knowledge symbiosis, and interpretable interaction...
Carnegie Mellon University was awarded a $847,832 project grant from the National Science Foundation Division of Research on Learning in Formal and Informal Settings. The grant is part of the NSF's Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Under the three-year award beginning October 1, 2021, Carnegie Mellon University will develop...
Carnegie Mellon University was awarded a $625,000 Project Grant from the National Science Foundation Division of Behavioral and Cognitive Sciences under the Social, Behavioral, and Economic Sciences federal grant program (CFDA 47.075). The grant will fund research to develop a detailed theory of how basic science, technology, engineering, and mathematics (STEM) concepts are organized neurologically. Researchers will assess brain representations of STEM concepts in physics, biology, chemistry,...
This $300,841 project grant from the National Science Foundation's STEM Education program (CFDA 47.076) will support Carnegie Mellon University to develop and research an artificial intelligence (AI) across the curriculum program for high school students. Over three years, the university team will create introductory and advanced AI modules for mathematics, English language arts, and history. They will also design $60k in professional development for 12 teachers to implement the modules across...