This federal Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences (MPS) program (CFDA 47.049) provides $300,000 to Duke University to develop innovative artificial intelligence (AI) tools to study polyhedra, which are fundamental in various fields such as combinatorics, discrete geometry, and optimization.
The key technical objectives of the project include creating new methods for data generation, knowledge discovery, and formal reasoning in polyhedral geometry using AI techniques like diffusion models and reinforcement learning. The project also aims to enhance computational efficiency by combining fast, informal AI methods with rigorous formal verification. Additionally, the project will develop a "Polyhedral-GPT" system that integrates large language models to provide interpretable outputs for polyhedral geometry. The research is expected to significantly advance the understanding and application of polyhedral geometry in scientific and engineering domains, as well as enhance the potential of AI for mathematical reasoning. The award period is from September 15, 2024 to August 31, 2027.
Generated 3/18/25, 4:54 AM