neural network verification

Formalising the Robustness of Counterfactual Explanations for Neural Networks AAAI 2023 Fundamental Limits in Formal Verification of Message-Passing Neural Networks ICLR 2023 Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers L4DC 2023 Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification AAAI 2023 Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023 Provably Bounding Neural Network Preimages NeurIPS 2023 The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks IJCAI 2023 Towards Reliable Neural Specifications ICML 2023 Towards Verifying the Geometric Robustness of Large-Scale Neural Networks AAAI 2023 A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022 A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis L4DC 2022 A Unified View of SDP-based Neural Network Verification through Completely Positive Programming AISTATS 2022 Certified Robustness for Deep Equilibrium Models via Interval Bound Propagation ICLR 2022 Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound ICLR 2022 Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation NeurIPS 2022 General Cutting Planes for Bound-Propagation-Based Neural Network Verification NeurIPS 2022 GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI 2022 OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems JMLR 2022 Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022 Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022 Zonotope Domains for Lagrangian Neural Network Verification NeurIPS 2022 Adversarial Training and Provable Robustness: A Tale of Two Objectives AAAI 2021 Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NeurIPS 2021 DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021 Efficient Certification of Spatial Robustness AAAI 2021