Project Grant 2434665

Award Date 9/15/24
Completion Date 8/31/27
Dollars Obligated $400K
Federal Grant Program
47.049
Assistance Type
Project Grant
Place of Performance
Davis, CA, USA
Similar Awards
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 federal Project Grant award of $497,523.00 was provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) program. The funding supports the development of innovative artificial intelligence (AI) tools to enhance the study of polyhedra, which are fundamental in various scientific and engineering fields. The project aims to leverage AI techniques such as diffusion methods, reinforcement learning, and large language models to generate diverse...
This Project Grant award, valued at $137,324.00, was provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) federal grant program. The award is focused on advancing the mathematical understanding of polytopes, which are geometric structures with universal importance in many areas of mathematics, including computer science, architecture, art, and philosophy. The principal investigator plans to attack various problems related to polytopes and...
This Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences program (CFDA 47.049) provides $567,000.00 to Carnegie Mellon University to develop novel techniques that combine machine learning and symbolic AI for mathematical reasoning. The primary goals are to create new methods for making mathematical understanding explicit to enable AI systems to understand proofs, as well as to train machine learning systems to perform specialized...
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 Project Grant award, provided by the National Science Foundation's (NSF) Integrative Activities program (CFDA 47.083), will support the development of a specialized artificial intelligence (AI) model that can be applied to planning and task-chaining problems. The $150,000 award, which runs from February 1, 2025 to January 31, 2027, will fund research to create a compact foundation model optimized for planning-like tasks, as an alternative to current large language models that exhibit...
This federal Project Grant award for $300,000.00, provided by the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program, supports research to significantly expand the investigator's work on applications of model theory to the study of geometric structures. The key objectives are to: 1) tackle major transcendence problems such as the Ax-Lindemann-Weierstrass and Ax-Schanuel conjectures for uniformizing functions of geometric structures in higher...
This $204,372 federal Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences program (CFDA 47.049) supports research on the potential theoretic aspects of complex geometry. The principal investigator will employ methods from potential theory, infinite-dimensional geometry, and geometric analysis to investigate a cluster of interconnected questions and conjectures in complex geometry. The project aims to advance scientific knowledge in this...
This $400,000 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 a new framework and tools for advancing data-centric artificial intelligence (AI) through generative approaches to feature space reconstruction. The project aims to transform the traditional way of constructing feature spaces by using deep generative learning instead of manual or classical discrete search...
This Project Grant award from the National Science Foundation's (NSF) Division of Mathematical Sciences (CFDA 47.049 - Mathematical and Physical Sciences) supports research to develop novel mathematical models and efficient algorithms for deep learning on large-scale graph-structured data. The $249,999 award, spanning September 2024 to August 2027, aims to produce innovations in areas like graph convolutional networks, graph matching, and graph clustering. The research will involve graduate...

This Project Grant award, funded by the National Science Foundation's (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences Federal Grant Program (CFDA 47.049), aims to develop innovative artificial intelligence (AI) tools to enhance the study of polyhedra. The $400,000 award, with a performance period from September 15, 2024 to August 31, 2027, will support the creation of new methods for data generation, knowledge discovery, and formal reasoning in polyhedral geometry. Key innovations include the development of "Polyhedral-GPT," which integrates large language models to provide clear, interpretable outputs, and the integration of optimization, algebraic geometry, and SAT solvers to facilitate automated proof processes. This research is expected to significantly advance the understanding and application of polyhedral geometry in various scientific and engineering domains, as well as the potential of AI for mathematical reasoning. The project also supports educational initiatives and promotes diversity and inclusivity in STEM fields.

Generated 6/17/25, 3:37 AM