neural network verification

Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025 Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing AAAI 2024 Certified Robustness for Deep Equilibrium Models via Serialized Random Smoothing NeurIPS 2024 Compact Proofs of Model Performance via Mechanistic Interpretability NeurIPS 2024 Critically Assessing the State of the Art in Neural Network Verification JMLR 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024 Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024 Expressivity of ReLU-Networks under Convex Relaxations ICLR 2024 InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniques NeurIPS 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems NeurIPS 2024 Provable Editing of Deep Neural Networks using Parametric Linear Relaxation NeurIPS 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024 Relational Verification Leaps Forward with RABBit NeurIPS 2024 Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NeurIPS 2024 Scaling the Convex Barrier with Sparse Dual Algorithms JMLR 2024 Tight Verification of Probabilistic Robustness in Bayesian Neural Networks AISTATS 2024 Towards Efficient Verification of Quantized Neural Networks AAAI 2024 Towards Robust Saliency Maps ACML 2024 Understanding Certified Training with Interval Bound Propagation ICLR 2024 Verifiably Robust Conformal Prediction NeurIPS 2024 A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks ICML 2023 A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification AAAI 2023 Boosting Verified Training for Robust Image Classifications via Abstraction CVPR 2023 CertiFair: A Framework for Certified Global Fairness of Neural Networks AAAI 2023 Efficient Verification of Neural Networks Against LVM-Based Specifications CVPR 2023