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

On the Probabilistic Learnability of Compact Neural Network Preimage Bounds AAAI 2026
Cubing for Tuning AAAI 2026
VeriFlow: Modeling Distributions for Neural Network Verification AAAI 2026
Parameterized Abstract Interpretation for Transformer Verification AAAI 2026
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint) AAAI 2026
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification JMLR 2025
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement IJCAI 2025
Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification AAAI 2025
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification AAAI 2025
DROWN: Towards Tighter LiRPA-based Robustness Certification COLING 2025
Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025
Sparse Transfer Learning Accelerates and Enhances Certified Robustness: A Comprehensive Study AAAI 2025
Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling AAAI 2025
Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels AAAI 2025
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks JMLR 2025
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency AAAI 2025
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks AISTATS 2024
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing AAAI 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems NIPS 2024
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024
Towards Efficient Verification of Quantized Neural Networks AAAI 2024
Compact Proofs of Model Performance via Mechanistic Interpretability NIPS 2024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
Scaling the Convex Barrier with Sparse Dual Algorithms JMLR 2024