research
∙
05/26/2023
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
The robustness of deep neural networks (DNNs) is crucial to the hosting ...
share
research
∙
03/21/2023
Boosting Verified Training for Robust Image Classifications via Abstraction
This paper proposes a novel, abstraction-based, certified training metho...
research
∙
11/21/2022
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation
The robustness of neural networks is fundamental to the hosting system's...
research
∙
08/21/2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
The robustness of deep neural networks is crucial to modern AI-enabled s...
research
∙
07/16/2020