neural network verification

Fastened CROWN: Tightened Neural Network Robustness Certificates AAAI 2020 Lagrangian Decomposition for Neural Network Verification UAI 2020 Lipschitz constant estimation of Neural Networks via sparse polynomial optimization ICLR 2020 Neural Network Branching for Neural Network Verification ICLR 2020 Neural Network Control Policy Verification With Persistent Adversarial Perturbation ICML 2020 Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling CoRL 2020 Taming Discrete Integration via the Boon of Dimensionality NeurIPS 2020 The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification NeurIPS 2020 Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations CVPR 2020 A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks NeurIPS 2019 A Dual Approach to Verify and Train Deep Networks IJCAI 2019 Beyond the Single Neuron Convex Barrier for Neural Network Certification NeurIPS 2019 Boosting Robustness Certification of Neural Networks ICLR 2019 CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks AAAI 2019 Computing Linear Restrictions of Neural Networks NeurIPS 2019 Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks NeurIPS 2019 Efficient Neural Network Verification with Exactness Characterization UAI 2019 Evaluating Robustness of Neural Networks with Mixed Integer Programming ICLR 2019 Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance IJCAI 2019 Inverse Abstraction of Neural Networks Using Symbolic Interpolation AAAI 2019 Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes NeurIPS 2019 RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications AAAI 2019 Robustness Verification of Classification Deep Neural Networks via Linear Programming CVPR 2019 Scalable Verified Training for Provably Robust Image Classification ICCV 2019 Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability ICLR 2019