Efficient Certification of Spatial Robustness

Efficient Certification of Spatial Robustness

19 September 2020

Maximilian Baader

Mislav Balunović

Martin Vechev

Papers citing "Efficient Certification of Spatial Robustness"

9 / 9 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
Invariance-Aware Randomized Smoothing Certificates Jan Schuchardt Stephan Günnemann AAML 28 5 0 25 Nov 2022
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
Scalable Certified Segmentation via Randomized Smoothing Marc Fischer Maximilian Baader Martin Vechev 18 38 0 01 Jul 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 41 90 0 05 Mar 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
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
Increasing-Margin Adversarial (IMA) Training to Improve Adversarial Robustness of Neural Networks Linhai Ma Liang Liang AAML 26 18 0 19 May 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017