Efficient global robustness certification of neural networks via interleaving twin-network encoding

Z Wang, C Huang, Q Zhu - 2022 Design, Automation & Test in …, 2022 - ieeexplore.ieee.org
The robustness of deep neural networks has received significant interest recently, especially
when being deployed in safety-critical systems, as it is important to analyze how sensitive …

The Pros and Cons of Adversarial Robustness

Y Izza, J Marques-Silva - arXiv preprint arXiv:2312.10911, 2023 - arxiv.org
Robustness is widely regarded as a fundamental problem in the analysis of machine
learning (ML) models. Most often robustness equates with deciding the non-existence of …

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems

Q Zhu, W Li, C Huang, X Chen, W Zhou… - 2023 59th Annual …, 2023 - ieeexplore.ieee.org
Neural networks are being applied to a wide range of tasks in autonomous systems, such as
perception, prediction, planning, control, and general decision making. While they may …

Causal repair of learning-enabled cyber-physical systems

P Lu, I Ruchkin, M Cleaveland… - … on Assured Autonomy …, 2023 - ieeexplore.ieee.org
Models of actual causality leverage domain knowledge to generate convincing diagnoses of
events that caused an outcome. It is promising to apply these models to diagnose and repair …

Neural network editing: algorithms and applications

F Fu - 2024 - open.bu.edu
Deep neural networks have demonstrated impressive performance in a wide variety of
applications. However, deep neural networks are not perfect. In many cases, additional …

[PDF][PDF] Probabilistic Global Robustness Verification of Arbitrary Supervised Machine Learning Models

ML Schumacher, MF Huber - files.sri.inf.ethz.ch
Many works have been devoted to evaluating the robustness of a classifier in the
neighborhood of single points of input data. Recently, in particular, probabilistic settings …