THE CONVEX RELAXATION BARRIER, REVISITED: TIGHTENED SINGLE-NEURON RELAXATIONS FOR NEURAL NETWORK VERIFICATION

von Tjandraatmadja, Christian
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 26 of 27 (2021)