2 citations · 3 across the 14 of their papers we have counts for
9 papers · 1 filter
Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
Anastasia Mavridou, Divya Gopinath, Corina S. Păsăreanu
The integration of AI components, particularly Deep Neural Networks (DNNs), into safety-critical systems such as aerospace and autonomous vehicles presents fundamental challenges f…
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
Yibo Peng, James Song, Lei Li +6
Code agents are increasingly trusted to autonomously fix bugs on platforms such as GitHub, yet their security evaluation focuses almost exclusively on functional correctness. In th…
On the Difficulty of Selecting Few-Shot Examples for Effective LLM-based Vulnerability Detection
Md Abdul Hannan, Ronghao Ni, Chi Zhang +3
Large language models (LLMs) have demonstrated impressive capabilities across a wide range of coding tasks, including summarization, translation, completion, and code generation. D…
Prophecy: Inferring Formal Properties from Neuron Activations
Divya Gopinath, Corina S. Pasareanu, Muhammad Usman
We present Prophecy, a tool for automatically inferring formal properties of feed-forward neural networks. Prophecy is based on the observation that a significant part of the logic…
Conformal Safety Shielding for Imperfect-Perception Agents
William Scarbro, Calum Imrie, Sinem Getir Yaman +4
We consider the problem of safe control in discrete autonomous agents that use learned components for imperfect perception (or more generally, state estimation) from high-dimension…
A Mixture of Linear Corrections Generates Secure Code
Weichen Yu, Ravi Mangal, Terry Zhuo +2
Large language models (LLMs) have become proficient at sophisticated code-generation tasks, yet remain ineffective at reliably detecting or avoiding code vulnerabilities. Does this…
Report on NSF Workshop on Science of Safe AI
Rajeev Alur, Greg Durrett, Hadas Kress-Gazit +2
Recent advances in machine learning, particularly the emergence of foundation models, are leading to new opportunities to develop technology-based solutions to societal problems. H…
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
Christopher Watson, Rajeev Alur, Divya Gopinath +2
Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challengin…
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu +3
Debugging of Deep Neural Networks (DNNs), particularly vision models, is very challenging due to the complex and opaque decision-making processes in these networks. In this paper,…