NeurIPS 2020

Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond


Meta Review

The authors agree that this paper presents a nice tool that generalizes the IBP method for certifying simple neural nets.