The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification

Christian Tjandraatmadja, Ross Anderson, Joey Huchette, Will Ma, Krunal Patel, Juan Pablo Vielma. The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification. In Hugo Larochelle, Marc'Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, Hsuan-Tien Lin, editors, Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual. 2020. [doi]

Authors

Christian Tjandraatmadja

This author has not been identified. Look up 'Christian Tjandraatmadja' in Google

Ross Anderson

This author has not been identified. Look up 'Ross Anderson' in Google

Joey Huchette

This author has not been identified. Look up 'Joey Huchette' in Google

Will Ma

This author has not been identified. Look up 'Will Ma' in Google

Krunal Patel

This author has not been identified. Look up 'Krunal Patel' in Google

Juan Pablo Vielma

This author has not been identified. Look up 'Juan Pablo Vielma' in Google