@article{certifyingneuralnetworkaudioclassifiers,
  title = {Certifying Neural Network Audio Classifiers},
  author = {Wonryong Ryou and Mislav Balunovic and Gagandeep Singh and Martin Vechev},
  year = {2019},
  url = {https://openreview.net/forum?id=HJxkvlBtwH},
}