Project Grant 2434704
Award Date
9/1/24
Completion Date
8/31/27
Dollars Obligated
$1.2M
Funding Federal Agency
National Science Foundation
Awarding Federal Agency
Division of Mathematical Sciences
Federal Grant Program
47.049
Assistance Type
Project Grant
Place of Performance
Clemson, SC 29634, 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...
This $399,625 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) will support research at California State University Channel Islands (CSUCI), a Hispanic-Serving Institution, to explore the intersection of nonlocal vector calculus and the mathematics of intelligences. The research objectives center on conducting focused investigations into developing new theoretical models, proving significant properties, and applying these...
This federal Project Grant award from the National Science Foundation (NSF) Division of Mathematical Sciences, under the Mathematical and Physical Sciences program (CFDA 47.049), provides $300,000 to Duke University to develop innovative Artificial Intelligence (AI) tools to enhance the study of polyhedral geometry. The project aims to leverage AI techniques such as diffusion methods, reinforcement learning, and large language models (Polyhedral-GPT) to generate diverse polyhedral samples,...
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 awarded Princeton University $1,118,988 under the Computer and Information Science and Engineering program (CFDA 47.070) for a three-year project grant titled "COLLABORATIVE RESEARCH: FMITF: TRACK I: FORMALLY VERIFIED NUMERICAL METHODS." The grant aims to advance the development of formally verified numerical methods through a layered approach integrating reasoning about numerical software correctness and accuracy from mathematics to software code....
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 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 $290,000 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences (MPS) program supports research in computable model theory and invariant descriptive computability theory. The award, spanning July 2024 to June 2027, will fund work that explores connections between computability theory and the fields of model theory and set theory within mathematical logic. Key objectives include investigating cases where mathematically equivalent objects have...
Clemson University received a $140,000 project grant award from the National Science Foundation Office of Advanced Cyberinfrastructure under the Computer and Information Science and Engineering program (CFDA 47.070) for the period of June 1, 2021 through May 31, 2024. The grant funds collaborative research to enable high performance multi-scale simulation on big memory platforms. Specifically, the award supports investigator-initiated efforts to advance the development and use of research...
The National Science Foundation (NSF) awarded Clemson University a $144,222 Project Grant through the Integrative Activities (IA) program (CFDA 47.083) to support an 8-week undergraduate Research Experiences for Undergraduates (REU) program in computational number theory. The program aims to develop independent mathematical research skills in 8 students from across the country each year by engaging them in significant research projects related to modular forms and number theory. Key activities...