NeurIPS 2020

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming


Meta Review

There was a consensus among all reviewers on accepting the paper. The paper clarity and the clarity of the rebuttal were appreciated by the reviewers and it addressed all of the concerns. Please include the rebuttal answers in the final version of the paper.