Before revision: Recently, bound propagation based certified adversarial defense have been proposed for training neural networks with certifiable robustness guarantees.
After revision: Recently, bound propagation based certified robust training methods have been proposed for training neural networks with certifiable robustness guarantees.