Project Grant 2212557
- The National Science Foundation awarded a $800,000 Project Grant to the University of Texas at Austin under the Computer and Information Science and Engineering program (CFDA 47.070). The three-year award will support the development of a neurosymbolic program-synthesis framework that closely couples deep learning and classical symbolic methods for program synthesis. Researchers will explore new learning algorithms exposing neural models of code to explicit knowledge about program semantics....
- This three-year National Science Foundation project grant of $418,380 supports research at the University of Wisconsin-Madison to develop a neurosymbolic framework for semantics-aware program synthesis. Funded under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), the award period runs from August 1, 2022 to July 31, 2025. Specifically, the university researchers will couple large neural models trained on source code with symbolic methods from formal methods to...
- This $333,000 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, with a performance period from October 1, 2025 to September 30, 2028, aims to develop a novel "neurosymbolic programming framework" called "Foundation Model Programming." This framework seeks to enable the generation of symbolically interpretable scientific hypotheses from high-dimensional observational data, such as images...
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $333,333.00 to Cornell University to develop a novel neurosymbolic programming framework called "Foundation Model Programming". The goal is to generate symbolically interpretable scientific hypotheses from high-dimensional observational data across disciplines such as neuroscience, genomics, biomechanics, and ecology....
- This $900,000 Project Grant award, funded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), will support the development of a novel "Neurosymbolic Framework for High-Level Synthesis of Multi-Task Learning" (NEUHLS) at the University of California, Irvine. The key objectives of this 4-year project are to create tools that can automatically generate hardware accelerators for edge devices while meeting...
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, with a CFDA number of 47.070, aims to develop a novel neurosymbolic programming framework called "Foundation Model Programming." This $333,667 award to the California Institute of Technology (Caltech) will create a system capable of generating symbolically interpretable scientific hypotheses from high-dimensional observational data, such as images and...
- This $750,000 Project Grant was awarded by the National Science Foundation (NSF) Division of Computing and Communication Foundations under the CFDA program "Computer and Information Science and Engineering." The grant was awarded to the University of Texas at Austin to develop a new paradigm for robot learning from demonstrations (LfD) using program synthesis techniques. The research aims to address limitations in existing neural network-based LfD approaches by combining them with...
- This Project Grant award was provided by the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CFDA 47.070) program. The $600,000 grant, awarded to William Marsh Rice University on October 1, 2023, will support research to systematically investigate the identification and mitigation of "shortcut learning" in deep neural networks (DNNs) from a data-centric perspective. The goal is to develop...
- The National Science Foundation (NSF) awarded a 4-year, $252,007 Project Grant under the Engineering (CFDA 47.041) program to Northeastern University. The grant supports the development and testing of AI-based programming tools to assist social and natural scientists with computer programming tasks. The research team is developing large language models and associated tools to support programming languages commonly used in the sciences, such as MATLAB and R, in order to make programming easier...
- The National Science Foundation (NSF) has awarded a $533,995 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Iowa State University of Science and Technology (Iowa State University). The 4-year grant, spanning from October 1, 2023 to September 30, 2027, aims to improve the performance, robustness, generalizability, and efficiency of deep learning models for critical software assurance tasks such as bug detection, debugging, test input...
This Project Grant from the National Science Foundation's Division of Computing and Communication Foundations, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $800,000 to Rice University from August 1, 2022 to July 31, 2025. The funding supports the development of a neurosymbolic program-synthesis framework that closely couples deep learning and classical symbolic methods for program synthesis. Specifically, the university researchers will explore new learning algorithms exposing neural models of code to explicit knowledge about program semantics. They will also investigate mechanisms using neural models to direct specification-directed synthesizers, and combinations of classical synthesis and learned models to construct novel compositions of neurally generated programs. The outcomes will include a unified framework for semantics-aware program synthesis, yielding improved tools for automatically creating programs. Additionally, the grant supports a cross-institution Research Experiences for Undergraduates program focused on recruiting women and underrepresented groups in computing fields.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $400.0k | 6/22/22 |