A Provable Defense for Deep Residual Networks

29 March 2019

Martin Vechev

Papers citing "A Provable Defense for Deep Residual Networks"

3 / 3 papers shown

Title
Scope Compliance Uncertainty Estimate Al-Harith Farhad Ioannis Sorokos Mohammed Naveed Akram Koorosh Aslansefat Daniel Schneider 24 0 0 17 Dec 2023
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 24 56 0 20 Jul 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017