Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound.

Claudio Ferrari, Mark Niklas Mller, Nikola Jovanovic, Martin T. Vechev

Browse the full ICLR paper archive.