4 papers
Incremental Neural Network Verification via Learned Conflicts
Raya Elsaleh, Liam Davis, Haoze Wu +1
Neural network verification is often used as a core component within larger analysis procedures, which generate sequences of closely related verification queries over the same netw…
FAME: Formal Abstract Minimal Explanation for Neural Networks
Ryma Boumazouza, Raya Elsaleh, Melanie Ducoffe +2
We propose FAME (Formal Abstract Minimal Explanations), a new class of abductive explanations grounded in abstract interpretation. FAME is the first method to scale to large neural…
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
Yizhak Elboher, Raya Elsaleh, Omri Isac +6
As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot work…
DelBugV: Delta-Debugging Neural Network Verifiers
Raya Elsaleh, Guy Katz
Deep neural networks (DNNs) are becoming a key component in diverse systems across the board. However, despite their success, they often err miserably; and this has triggered signi…