no code implementations • 20 Jul 2020 • Christoph Müller, François Serre, Gagandeep Singh, Markus Püschel, Martin Vechev
GPUPoly scales to large networks: for example, it can prove the robustness of a 1M neuron, 34-layer deep residual network in approximately 34. 5 ms. We believe GPUPoly is a promising step towards practical verification of real-world neural networks.