Scaling Polyhedral Neural Network Verification on GPUs

Published in MLSys, 2021

Recommended citation: Christoph Müller, Francois Serre, Gagandeep Singh, Markus Püschel, Martin Vechev, MLSys 2021. https://mlsys.org/Conferences/2021/Schedule?showEvent=1551