research
∙
10/15/2020
Improving Neural Network Verification through Spurious Region Guided Refinement
We propose a spurious region guided refinement approach for robustness v...
share
research
∙
02/26/2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Deep neural networks (DNNs) have been shown lack of robustness for the v...
research
∙
12/01/2017
