@inproceedings{beyondthesingleneuronconvexbarrierfor,
  title = {Beyond the Single Neuron Convex Barrier for Neural Network Certification},
  author = {Gagandeep Singh and Rupanshu Ganvir and Markus Püschel and Martin Vechev},
  year = {2019},
  booktitle = {NeurIPS 2019 12},
  url = {http://papers.nips.cc/paper/9646-beyond-the-single-neuron-convex-barrier-for-neural-network-certification},
}