robustness certification

Certified but Fooled! Breaking Certified Defenses with Ghost Certificates AAAI 2026 Tight Robustness Certification Through the Convex Hull of ℓ₀ Attacks AAAI 2026 Certification of Speaker Recognition Models to Additive Perturbations AAAI 2025 COMMIT: Certifying Robustness of Multi-Sensor Fusion Systems Against Semantic Attacks AAAI 2025 DROWN: Towards Tighter LiRPA-based Robustness Certification COLING 2025 Randomized Smoothing Meets Vision-Language Models EMNLP 2025 Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025 Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification JMLR 2025 Achieving Domain-Independent Certified Robustness via Knowledge Continuity NeurIPS 2024 CERT-ED: Certifiably Robust Text Classification for Edit Distance EMNLP 2024 ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks NeurIPS 2024 GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers AAAI 2024 Towards Trustworthy Deep Learning AAAI 2024 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming ICML 2023 CAP: Robust Point Cloud Classification via Semantic and Structural Modeling CVPR 2023 Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning AAAI 2023 Computational Asymmetries in Robust Classification ICML 2023 Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract) IJCAI 2023 SOL: Sampling-based Optimal Linear bounding of arbitrary scalar functions NeurIPS 2023 Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations ICML 2023 Towards Robustness Certification Against Universal Perturbations ICLR 2023 Unlocking Deterministic Robustness Certification on ImageNet NeurIPS 2023 3DeformRS: Certifying Spatial Deformations on Point Clouds CVPR 2022 Certifiable Robot Design Optimization using Differentiable Programming RSS 2022 Certifying Robust Graph Classification under Orthogonal Gromov-Wasserstein Threats NeurIPS 2022