provable robustness

Provably Robust Explainable Graph Neural Networks against Graph Perturbation Attacks ICLR 2025 Unlocking Deterministic Robustness Certification on ImageNet NeurIPS 2023 Fast Provably Robust Decision Trees and Boosting ICML 2022 Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100 ICLR 2022 Improved techniques for deterministic l2 robustness NeurIPS 2022 Adversarial Training and Provable Robustness: A Tale of Two Objectives AAAI 2021 PointGuard: Provably Robust 3D Point Cloud Classification CVPR 2021 Gradient Descent with Early Stopping is Provably Robust to Label Noise for Overparameterized Neural Networks AISTATS 2020 Lipschitz Bounds and Provably Robust Training by Laplacian Smoothing NeurIPS 2020 CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks AAAI 2019 Scalable Verified Training for Provably Robust Image Classification ICCV 2019 Scaling provable adversarial defenses NeurIPS 2018