robustness guarantee

Adaptive and Robust Watermark for Generative Tabular Data UAI 2026 Lipschitz Optimization for Formal Verification of Homographies CVPR 2026 A Robust Prototype-Based Network with Interpretable RBF Classifier Foundations AAAI 2025 Robust Fair Clustering with Group Membership Uncertainty Sets AISTATS 2025 GNNCert: Deterministic Certification of Graph Neural Networks against Adversarial Perturbations ICLR 2024 Promoting Counterfactual Robustness through Diversity AAAI 2024 Tight Verification of Probabilistic Robustness in Bayesian Neural Networks AISTATS 2024 VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees ICML 2024 Learning for Edge-Weighted Online Bipartite Matching with Robustness Guarantees ICML 2023 Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation ACML 2023 Maximum Entropy RL (Provably) Solves Some Robust RL Problems ICLR 2022 RetrievalGuard: Provably Robust 1-Nearest Neighbor Image Retrieval ICML 2022 Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits IJCAI 2022 Adaptive Verifiable Training Using Pairwise Class Similarity AAAI 2021 Robustness Guarantees for Bayesian Inference with Gaussian Processes AAAI 2019 Robustness Guarantees for Density Clustering AISTATS 2019 Semidefinite relaxations for certifying robustness to adversarial examples NeurIPS 2018 A Highly Scalable Parallel Algorithm for Isotropic Total Variation Models ICML 2014