[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound - View it on GitHub