conftrace_

neural network certification

11 papers

Explore in graph

Co-occurring keywords · papers mentioning both

adversarial robustness (6) neural network (3) neural network verification (3) semidefinite programming (3) provable robustness (2) convolutional neural network (2) formal verification (2) probabilistic lyapunov certificate (1) safety guarantee reuse (1) compositional neural control (1)

Papers

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change IJCAI 2025 DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024 Certification of Distributional Individual Fairness NeurIPS 2023 Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations ICML 2023 Improved techniques for deterministic l2 robustness NeurIPS 2022 Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization L4DC 2021 Neural Network Control Policy Verification With Persistent Adversarial Perturbation ICML 2020 On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples NeurIPS 2020 Beyond the Single Neuron Convex Barrier for Neural Network Certification NeurIPS 2019 CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks AAAI 2019 Efficient Neural Network Robustness Certification with General Activation Functions NeurIPS 2018