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

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks AISTATS 2024
Provable Editing of Deep Neural Networks using Parametric Linear Relaxation NIPS 2024
Verifiably Robust Conformal Prediction NIPS 2024
Towards Efficient Verification of Quantized Neural Networks AAAI 2024
InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniques NIPS 2024
Certified Robustness for Deep Equilibrium Models via Serialized Random Smoothing NIPS 2024
Critically Assessing the State of the Art in Neural Network Verification JMLR 2024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
Towards Reliable Neural Specifications ICML 2023
Boosting Verified Training for Robust Image Classifications via Abstraction CVPR 2023
Towards Verifying the Geometric Robustness of Large-Scale Neural Networks AAAI 2023
Efficient Verification of Neural Networks Against LVM-Based Specifications CVPR 2023
CertiFair: A Framework for Certified Global Fairness of Neural Networks AAAI 2023
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification AAAI 2023
Formalising the Robustness of Counterfactual Explanations for Neural Networks AAAI 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers L4DC 2023
Provably Bounding Neural Network Preimages NIPS 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks ICML 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks IJCAI 2023
Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023
A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification AAAI 2023
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022
Zonotope Domains for Lagrangian Neural Network Verification NIPS 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification NIPS 2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022