A Provable Defense for Deep Residual Networks

A Provable Defense for Deep Residual Networks

29 March 2019

Gagandeep Singh

Martin Vechev

Papers citing "A Provable Defense for Deep Residual Networks"

5 / 5 papers shown

Title
Scope Compliance Uncertainty Estimate Al-Harith Farhad Ioannis Sorokos Mohammed Naveed Akram Koorosh Aslansefat Daniel Schneider 26 0 0 17 Dec 2023
Keep your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring Al-Harith Farhad Ioannis Sorokos Andreas Schmidt Mohammed Naveed Akram Koorosh Aslansefat Daniel Schneider 27 3 0 11 Jul 2022
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 29 56 0 20 Jul 2020
Towards Stable and Efficient Training of Verifiably Robust Neural Networks Huan Zhang Hongge Chen Chaowei Xiao Sven Gowal Robert Stanforth Bo-wen Li Duane S. Boning Cho-Jui Hsieh AAML 17 344 0 14 Jun 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017