VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

15 December 2023

Papers citing "VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees"

4 / 4 papers shown

Title
Unlocking Deterministic Robustness Certification on ImageNet Kaiqin Hu Andy Zou Zifan Wang Klas Leino Matt Fredrikson OOD 29 12 0 29 Jan 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 240 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 287 5,837 0 08 Jul 2016