conftrace_

neural network verification

106 papers

Explore in graph

Co-occurring keywords

formal verification (284) adversarial robustness (1341) robustness verification (31) relu network (143) neural network (6616) branch and bound (119) semidefinite programming (147) linear programming (227) convex relaxation (112) certified robustness (116)

Papers

An efficient nonconvex reformulation of stagewise convex optimization problems NIPS 2020
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond NIPS 2020
Efficient Exact Verification of Binarized Neural Networks NIPS 2020
Neural Network Control Policy Verification With Persistent Adversarial Perturbation ICML 2020
Lagrangian Decomposition for Neural Network Verification UAI 2020
Taming Discrete Integration via the Boon of Dimensionality NIPS 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification NIPS 2020
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis AAAI 2020
Towards Verifying Robustness of Neural Networks Against A Family of Semantic Perturbations CVPR 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming NIPS 2020
Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling CORL 2020
Fastened CROWN: Tightened Neural Network Robustness Certificates AAAI 2020
Robustness Verification of Classification Deep Neural Networks via Linear Programming CVPR 2019
Scalable Verified Training for Provably Robust Image Classification ICCV 2019
Efficient Neural Network Verification with Exactness Characterization UAI 2019
Inverse Abstraction of Neural Networks Using Symbolic Interpolation AAAI 2019
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks AAAI 2019
A Dual Approach to Verify and Train Deep Networks IJCAI 2019
Computing Linear Restrictions of Neural Networks NIPS 2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes NIPS 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks NIPS 2019
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance IJCAI 2019
Beyond the Single Neuron Convex Barrier for Neural Network Certification NIPS 2019
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks NIPS 2019
RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications AAAI 2019