@inproceedings{MLSYS2021_7c98f9c7, author = {M\"{u}ller , Christoph and Serre, Fran\c{c}ois and Singh, Gagandeep and P\"{u}schel, Markus and Vechev, Martin}, booktitle = {Proceedings of Machine Learning and Systems}, editor = {A. Smola and A. Dimakis and I. Stoica}, pages = {733--746}, title = {Scaling Polyhedral Neural Network Verification on GPUs}, url = {https://proceedings.mlsys.org/paper_files/paper/2021/file/7c98f9c7ab2df90911da23f9ce72ed6e-Paper.pdf}, volume = {3}, year = {2021} }