Project Grant 2331966
Award Date
10/1/23
Completion Date
9/30/26
Dollars Obligated
$540K
Federal Agency
Division of Information and Intelligent Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Los Angeles, CA 90024, USA
Similar Awards
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...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $309,407 to Virginia Polytechnic Institute & State University (Virginia Tech) to develop a framework for ensuring the safety and trustworthy deployment of generative artificial intelligence (AI) foundation models, particularly large language models. The project will pursue three key tasks: 1) Conduct in-depth analysis to identify root...
This $400,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research at the University of California, Berkeley to develop new methodologies for understanding, visualizing, and controlling the behavior of complex, large-scale AI models that generate both text and images. The project aims to create a systematic framework for tracing how the training data used influences the internal...
This $395,927 Project Grant award from the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) aims to develop theoretical and algorithmic foundations for building a safe and sustainable human-AI ecosystem. The key objectives are: Developing an analytical framework to characterize human-AI interactions and embed safety considerations for both the AI learner and human agents. Examining the feedback effects between human and AI agents, and developing...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) focuses on developing tools to ensure the safe operation of autonomous systems, such as robots and self-driving vehicles. The $375,000 award will be used by the University of Massachusetts to: 1) develop algorithms to align the learned norms of reinforcement learning agents with the intended design goals; 2) create formal verification...
This award, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070), funds a collaborative research project led by Northeastern University to develop new methodologies for visualizing, understanding, and rewriting the learned computations of multimodal generative artificial intelligence (AI) models. The $400,000 project, awarded on September 15, 2024, seeks to address the unpredictability and potential safety...
This $349,828 Project Grant was awarded by the National Science Foundation (NSF)'s Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to The Trustees of the University of Pennsylvania. The grant will fund research aimed at developing techniques to ensure trustworthiness and reliability of artificial intelligence (AI) systems that incorporate deep neural networks (DNNs), particularly those used in safety-critical applications. The key objectives are to: Design...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $800,000 to the University of Illinois Urbana-Champaign to enhance the safety of large language models (LLMs) used in high-stakes applications. The technical aims of the project include: (1) developing "robust-confidence safety" to ensure LLMs appropriately respond to out-of-distribution scenarios and rare events, (2) enforcing...
This three-year Project Grant from the National Science Foundation's Division of Computing and Communication Foundations will fund the development of analysis and design techniques to provide formally guaranteed error bounds for deep neural networks used in autonomous cyber-physical systems. Totaling $999,996, the award will support research from June 2022 to May 2025. Specifically, the University of California, Los Angeles will investigate two approaches - "correctness-by-training"...