conftrace_

interval bound propagation

14 papers

Explore in graph

Also known as

IBP

Co-occurring keywords

certified robustness (116) adversarial robustness (1341) neural network verification (106) adversarial word substitution (4) formal verification (284) verified accuracy (3) label-preserving transformation (2) neural network (6616) symbol substitution (2) adversarial training (1262)

Papers

DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024
Certified Robustness for Deep Equilibrium Models via Serialized Random Smoothing NIPS 2024
Robust Training of Neural Networks against Bias Field Perturbations AAAI 2023
Robustness-Aware Word Embedding Improves Certified Robustness to Adversarial Word Substitutions ACL 2023
Connecting Certified and Adversarial Training NIPS 2023
Fast Certified Robust Training with Short Warmup NIPS 2021
Towards Evaluating and Training Verifiably Robust Neural Networks CVPR 2021
Towards Better Understanding of Training Certifiably Robust Models against Adversarial Examples NIPS 2021
Certifiably Adversarially Robust Detection of Out-of-Distribution Data NIPS 2020
Certified Robustness to Adversarial Word Substitutions IJCNLP 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation IJCNLP 2019
Scalable Verified Training for Provably Robust Image Classification ICCV 2019
Certified Robustness to Adversarial Word Substitutions EMNLP 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation EMNLP 2019