Project Grant 2316144
Award Date
3/15/23
Completion Date
2/29/24
Dollars Obligated
$125K
Federal Agency
Division of Mathematical Sciences
Federal Grant Program
47.049
Assistance Type
Project Grant
Place of Performance
Washington, DC 20418, USA
Similar Awards
This $333,000 federal Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports the development of novel AI approaches that combine machine learning and symbolic methods for advancing mathematical reasoning. The key research objectives are to: 1) synergistically integrate machine learning and symbolic AI techniques, 2) develop new ways to make mathematical understanding explicit to enable AI-assisted...
The National Science Foundation (NSF) awarded a $1,198,339 Project Grant under the Mathematical and Physical Sciences Program (CFDA 47.049) to Clemson University. The grant aims to enhance the functionality of interactive theorem provers (ITPs) in mathematical reasoning by integrating advanced artificial intelligence (AI) technologies with formal methods. The project, named MATHSCY, focuses on assisting in conjecture formulation, proof construction, and counterexample finding to address the...
This $497,523 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program aims to develop innovative artificial intelligence (AI) tools to study polyhedral geometry, which has applications in various fields such as combinatorics, discrete geometry, and optimization. The key products and services to be delivered under this 3-year award include: Developing new methods for data generation, knowledge discovery, and formal reasoning in...
This Project Grant award, valued at $149,951.00 and funded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports a collaborative research effort between Oakland University and Worcester Polytechnic Institute. The key products and services to be delivered under this award include organizing two 12-workshop series over two years to provide hands-on training for emerging researchers on utilizing the National AI Research...
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...
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 $149,983 Project Grant awarded by the National Science Foundation (NSF) under the STEM Education (CFDA 47.076) program aims to develop, implement, and evaluate web-based AI-driven classroom simulation tools that will improve evidence-based mathematics teaching practices. The project will create a suite of open-source simulations to support pre-service teachers in fostering rich mathematical discourse in their classrooms. It will also produce open data sets of mathematical dialogue and...
This National Science Foundation (NSF) Project Grant award under the Mathematical and Physical Sciences program (CFDA 47.049) provides $418,035 to Carnegie Mellon University to explore new ways of addressing complex mathematical problems by integrating advanced machine learning techniques with automated reasoning. The project will use three specific open problems within graph theory and combinatorics as test cases to evaluate the effectiveness of new algorithms. Key objectives include applying...
This National Science Foundation (NSF) Technology, Innovation, and Partnerships (CFDA 47.084) Project Grant award of $275,000 will support the development of an AI-enhanced platform to empower K-12 teachers with high-quality and inclusive math instruction. The project aims to tackle challenges in K-12 math education by integrating new AI models to assist teachers in generating personalized lesson materials, providing formative assessment, auto-scoring, and generating diagnostic reports...
The National Science Foundation (NSF) awarded a $100,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of Washington to support a "Meta-Workshop on AI to Accelerate Scientific and Engineering Discovery (AI2ASED)". The goal of the workshop is to bring together leading experts in AI, machine learning, and data science from across various scientific and engineering disciplines to discuss how these data-driven approaches can be...