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]
No references recorded for this publication.
No citations of this publication recorded.