certified robustness

Certified Robustness via Locally Biased Randomized Smoothing L4DC 2022 Certified Robustness via Randomized Smoothing over Multiplicative Parameters of Input Transformations IJCAI 2022 CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing ICLR 2022 Data dependent randomized smoothing UAI 2022 DeformRS: Certifying Input Deformations with Randomized Smoothing AAAI 2022 Double Bubble, Toil and Trouble: Enhancing Certified Robustness through Transitivity NeurIPS 2022 GSmooth: Certified Robustness against Semantic Transformations via Generalized Randomized Smoothing ICML 2022 Improved Certified Defenses against Data Poisoning with (Deterministic) Finite Aggregation ICML 2022 Improving Certified Robustness via Statistical Learning with Logical Reasoning NeurIPS 2022 Input-Specific Robustness Certification for Randomized Smoothing AAAI 2022 Intriguing Properties of Input-Dependent Randomized Smoothing ICML 2022 Lethal Dose Conjecture on Data Poisoning NeurIPS 2022 LOT: Layer-wise Orthogonal Training on Improving l2 Certified Robustness NeurIPS 2022 On the Certified Robustness for Ensemble Models and Beyond ICLR 2022 On the Convergence of Certified Robust Training with Interval Bound Propagation ICLR 2022 Prompt Certified Machine Unlearning with Randomized Gradient Smoothing and Quantization NeurIPS 2022 Provably Robust Adversarial Examples ICLR 2022 Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective NeurIPS 2022 Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach L4DC 2022 Smoothed Embeddings for Certified Few-Shot Learning NeurIPS 2022 Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations AAAI 2022 Towards Automating Model Explanations with Certified Robustness Guarantees AAAI 2022 TPC: Transformation-Specific Smoothing for Point Cloud Models ICML 2022 Center Smoothing: Certified Robustness for Networks with Structured Outputs NeurIPS 2021 Certified Robustness to Programmable Transformations in LSTMs EMNLP 2021