59 citations · 183 across the 18 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025
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…
cs.LG2025
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…