Co-occurring keywords · papers mentioning both
Papers
COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks
ICLR 2022
CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing
ICLR 2022
(De-)Randomized Smoothing for Decision Stump Ensembles
NeurIPS 2022
Double Sampling Randomized Smoothing
ICML 2022
GSmooth: Certified Robustness against Semantic Transformations via Generalized Randomized Smoothing
ICML 2022
Input-Specific Robustness Certification for Randomized Smoothing
AAAI 2022
Invariance-Aware Randomized Smoothing Certificates
NeurIPS 2022
On Collective Robustness of Bagging Against Data Poisoning
ICML 2022
Robustness Certification of Visual Perception Models via Camera Motion Smoothing
CoRL 2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
AAAI 2022
Adversarial Robustness with Non-uniform Perturbations
NeurIPS 2021
Certifying Robustness to Programmable Data Bias in Decision Trees
NeurIPS 2021
CRFL: Certifiably Robust Federated Learning against Backdoor Attacks
ICML 2021
Efficient Certification of Spatial Robustness
AAAI 2021
Improved, Deterministic Smoothing for L_1 Certified Robustness
ICML 2021
Robustness Certification for Point Cloud Models
ICCV 2021
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification
NeurIPS 2021
A FRAMEWORK FOR ROBUSTNESS CERTIFICATION OF SMOOTHED CLASSIFIERS USING F-DIVERGENCES
ICLR 2020
Fast Adversarial Robustness Certification of Nearest Prototype Classifiers for Arbitrary Seminorms
NeurIPS 2020
Provably Robust Metric Learning
NeurIPS 2020
Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness
AAAI 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
NeurIPS 2020
Towards Certificated Model Robustness Against Weight Perturbations
AAAI 2020
Boosting Robustness Certification of Neural Networks
ICLR 2019
Defending against Whitebox Adversarial Attacks via Randomized Discretization
AISTATS 2019