NeurIPS 2019
Sun Dec 8th through Sat the 14th, 2019 at Vancouver Convention Center
Paper ID:7849
Title:Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes

Thank you for your submission to NeurIPS. Although there is still some disagreement amongst the reviewers (specifically on how well the proposed method compares to GeoCert in practice), the general consensus is also that the proposed approach presents an interesting and valuable contribution to the class of exact verification methods for deep networks. Some additional discussion to competing approaches, mentioned the rebuttal, would help to strengthen the paper further, but overall the majority feeling is that this is a very nice contribution to the topic.