Christoph Müller, François Serre, Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev. Scaling Polyhedral Neural Network Verification on GPUs. In Alex Smola, Alex Dimakis, Ion Stoica, editors, Proceedings of Machine Learning and Systems 2021, MLSys 2021, virtual, April 5-9, 2021. mlsys.org, 2021. [doi]
Abstract is missing.