1 code implementation • ICLR 2022 • Claudio Ferrari, Mark Niklas Muller, Nikola Jovanovic, Martin Vechev
State-of-the-art neural network verifiers are fundamentally based on one of two paradigms: either encoding the whole verification problem via tight multi-neuron convex relaxations or applying a Branch-and-Bound (BaB) procedure leveraging imprecise but fast bounding methods on a large number of easier subproblems.