Scaling Polyhedral Neural Network Verification on GPUs - researchr publication authors

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]

This author has not been identified. Look up 'Christoph Müller' in GoogleThis author has not been identified. Look up 'François Serre' in GoogleThis author has not been identified. Look up 'Gagandeep Singh 0001' in GoogleThis author has not been identified. Look up 'Markus Püschel' in GoogleThis author has not been identified. Look up 'Martin T. Vechev' in Google

runs on WebDSL