Beyond the Single Neuron Convex Barrier for Neural Network Certification

Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin T. Vechev. Beyond the Single Neuron Convex Barrier for Neural Network Certification. In Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d'Alché-Buc, Edward A. Fox, Roman Garnett, editors, Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, 8-14 December 2019, Vancouver, BC, Canada. pages 15072-15083, 2019. [doi]

Authors

Gagandeep Singh

This author has not been identified. Look up 'Gagandeep Singh' in Google

Rupanshu Ganvir

This author has not been identified. Look up 'Rupanshu Ganvir' in Google

Markus Püschel

This author has not been identified. Look up 'Markus Püschel' in Google

Martin T. Vechev

This author has not been identified. Look up 'Martin T. Vechev' in Google