interval bound propagation

Certifiably Quantisation-Robust training and inference of Neural Networks AISTATS 2025 Certified Robustness for Deep Equilibrium Models via Serialized Random Smoothing NeurIPS 2024 DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024 Expressive Losses for Verified Robustness via Convex Combinations ICLR 2024 Understanding Certified Training with Interval Bound Propagation ICLR 2024 Connecting Certified and Adversarial Training NeurIPS 2023 Robustness-Aware Word Embedding Improves Certified Robustness to Adversarial Word Substitutions ACL 2023 Robust Training of Neural Networks against Bias Field Perturbations AAAI 2023 Certified Robustness for Deep Equilibrium Models via Interval Bound Propagation ICLR 2022 On the Convergence of Certified Robust Training with Interval Bound Propagation ICLR 2022 Fast Certified Robust Training with Short Warmup NeurIPS 2021 Provably robust classification of adversarial examples with detection ICLR 2021 Towards Better Understanding of Training Certifiably Robust Models against Adversarial Examples NeurIPS 2021 Towards Evaluating and Training Verifiably Robust Neural Networks CVPR 2021 Certifiably Adversarially Robust Detection of Out-of-Distribution Data NeurIPS 2020 Towards Stable and Efficient Training of Verifiably Robust Neural Networks ICLR 2020 Towards Verified Robustness under Text Deletion Interventions ICLR 2020 Universal Approximation with Certified Networks ICLR 2020 Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation EMNLP 2019 Certified Robustness to Adversarial Word Substitutions EMNLP 2019 Scalable Verified Training for Provably Robust Image Classification ICCV 2019