Scaling Polyhedral Neural Network Verification on GPUs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Scalable Polyhedral Verification of Recurrent Neural NetworksWonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh 0001, Andrei Marian Dan, Martin T. Vechev. cav 2021: 225-248 [doi]

Toward Comprehensive Network Verification: Practices, Challenges and BeyondXiaoli Zhang, Cong Wang 0001, Qi Li 0002, Jianping Wu. network, 34(1):108-115, 2020. [doi]

runs on WebDSL