This $527,281 Project Grant award was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to Purdue University. The grant, awarded on September 15, 2024, aims to develop novel algorithms and techniques for solving complex real-world problems involving planning and decision-making, such as securing emergency evacuation routes, protecting biodiversity, and confirming the efficacy of medical treatments. The research will unite symbolic reasoning and statistical inference through the novel approach of Satisfiability Modulo Counting (SMC), enabling the solution of tasks that were previously beyond reach in areas like AI for social good, scientific research, and explainable AI. The project also plans to nurture an ecosystem for SMC research by hosting competitions, developing workshops and courses, and expanding the broader community. No sub-awards are planned under this grant, which has a projected completion date of August 31, 2029.
Mod # | Description | Reason For Modification | Federal Obligation (Click to sort descending) | Date (Click to sort ascending) |
|---|---|---|---|---|
| Not listed | $527.3k | 9/4/24 |