Project Grant 2338777
Award Date
7/1/24
Completion Date
6/30/29
Dollars Obligated
$350K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Philadelphia, PA 19104, USA
Similar Awards
The National Science Foundation (NSF) awarded a $101,476 CAREER grant under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Cornell University. The project aims to develop reliable machine learning algorithms for decision-making in complex feedback systems, with applications in areas like weather prediction, recommendation systems, and human-robot collaboration. The research program will focus on three thrusts: 1) leveraging unreliable machine learning...
The National Science Foundation (NSF) awarded a $260,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of Illinois for the project "COLLABORATIVE RESEARCH: SLES: VERIFYING AND ENFORCING SAFETY CONSTRAINTS IN AI-BASED SEQUENTIAL GENERATION". This 3-year project aims to develop formal verification methods and constrained generation techniques to ensure the safety and reliability of AI models used for sequential data processing...
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 $183,868 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports a collaborative research effort to develop formal methods for synthesizing and verifying in-memory computing systems for neural networks. The key products and services to be delivered include: Creating formal methods to synthesize and verify neural networks accelerated using analog in-memory computing (IMC) systems,...
This Project Grant award, totaling $119,764, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award, titled "CAREER: CERTIFIED EXPLANATIONS FOR TRUSTWORTHY ARTIFICIAL INTELLIGENCE", aims to develop a verification framework for feature attributions and architectures that enable the certification of explanations for AI systems. This will help build trust in AI applications,...
This NSF-funded Project Grant award, with a total funding amount of $250,000, supports a collaborative research effort to develop formal methods for the synthesis and verification of in-memory computing systems. The key objectives are to create formal methods for synthesizing neural networks in computer memory and proving their correctness, as well as verifying neural networks accelerated using analog in-memory computing. The project aims to enable the deployment of robust AI models on...
The National Science Foundation (NSF) awarded a $329,183 Project Grant to the College of William & Mary under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant, awarded on October 1, 2023, will fund the development of a framework and methodology to enable researchers and software engineers to better interpret the behavior of AI-powered developer tools that leverage neural language models for source code. The project aims to generate global and local...
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...
This $112,262 CAREER award from the National Science Foundation's Computer and Information Science and Engineering (CISE) program supports research at the University of Chicago to develop reliable and accelerated deep neural networks through hardware-algorithm co-design. The project aims to overcome limitations in existing solutions by creating novel approaches that simultaneously minimize costs and enhance coverage across areas like hardware failure mitigation, fine-grained mixed-precision...
The National Science Foundation (NSF) awarded a $600,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to New York University (NYU) to investigate the risks of AI-generated code in the software supply chain. The 3-year project, which began on June 1, 2024, aims to: (i) develop techniques to distinguish human-written code from AI-generated code, (ii) measure the prevalence and security implications of AI-generated code in open-source software, and (iii)...