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

Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation NIPS 2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming AISTATS 2022
A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis L4DC 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification NIPS 2022
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning UAI 2021
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts IJCAI 2021
Safety Analysis of Deep Neural Networks IJCAI 2021
Safety Assurance for Systems with Machine Learning Components AAAI 2021
Overcoming the Convex Barrier for Simplex Inputs NIPS 2021
Towards Evaluating and Training Verifiably Robust Neural Networks CVPR 2021
Verification and Repair of Neural Networks AAAI 2021
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021
Learning Approximate Forward Reachable Sets Using Separating Kernels L4DC 2021
Globally-Robust Neural Networks ICML 2021
Efficient Certification of Spatial Robustness AAAI 2021
Exploiting Sparsity for Neural Network Verification L4DC 2021
Scalable Verification of Quantized Neural Networks AAAI 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NIPS 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications NIPS 2021
Adversarial Training and Provable Robustness: A Tale of Two Objectives AAAI 2021
Certifying Strategyproof Auction Networks NIPS 2020
Branch and Bound for Piecewise Linear Neural Network Verification JMLR 2020