conftrace_

robustness certificate

12 papers

Explore in graph

Co-occurring keywords

adversarial robustness (1341) randomized smoothing (87) neural network verification (106) graph perturbation (7) probabilistic verification (8) sparse input (16) anisotropic noise (5) infinite-width neural network (3) adversarial risk (16) curvature regularization (12)

Papers

Non-vacuous Generalization Bounds for Adversarial Risk in Stochastic Neural Networks AISTATS 2024
On the Scalability of Certified Adversarial Robustness with Generated Data NIPS 2024
Structure-aware robustness certificates for graph classification UAI 2023
Invariance-Aware Randomized Smoothing Certificates NIPS 2022
On the Equivalence between Neural Network and Support Vector Machine NIPS 2021
Adversarial Robustness of Supervised Sparse Coding NIPS 2020
Second-Order Provable Defenses against Adversarial Attacks ICML 2020
Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More ICML 2020
Robustness Certificates for Sparse Adversarial Attacks by Randomized Ablation AAAI 2020
Fastened CROWN: Tightened Neural Network Robustness Certificates AAAI 2020
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes NIPS 2019
PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach ICML 2019