robustness certificate

Exact Certification of (Graph) Neural Networks Against Label Poisoning ICLR 2025 Non-vacuous Generalization Bounds for Adversarial Risk in Stochastic Neural Networks AISTATS 2024 On the Scalability of Certified Adversarial Robustness with Generated Data NeurIPS 2024 Localized Randomized Smoothing for Collective Robustness Certification ICLR 2023 Structure-aware robustness certificates for graph classification UAI 2023 Boosting Randomized Smoothing with Variance Reduced Classifiers ICLR 2022 Invariance-Aware Randomized Smoothing Certificates NeurIPS 2022 Collective Robustness Certificates: Exploiting Interdependence in Graph Neural Networks ICLR 2021 On the Equivalence between Neural Network and Support Vector Machine NeurIPS 2021 Adversarial Robustness of Supervised Sparse Coding NeurIPS 2020 BREAKING CERTIFIED DEFENSES: SEMANTIC ADVERSARIAL EXAMPLES WITH SPOOFED ROBUSTNESS CERTIFICATES ICLR 2020 Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More ICML 2020 Fastened CROWN: Tightened Neural Network Robustness Certificates AAAI 2020 Robustness Certificates for Sparse Adversarial Attacks by Randomized Ablation AAAI 2020 Second-Order Provable Defenses against Adversarial Attacks ICML 2020 Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes NeurIPS 2019 PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach ICML 2019