conftrace_

robustness certification

47 papers

Explore in graph

Co-occurring keywords

adversarial robustness (1341) randomized smoothing (87) neural network (6616) certified robustness (116) semidefinite programming (147) neural network robustness (92) neural network verification (106) adversarial attack (1621) adversarial example (564) certified defense (34)

Papers

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