NeuroDiff: Scalable Differential Verification of Neural Networks using
Fine-Grained Approximation

NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation

21 September 2020

Brandon Paulsen

Papers citing "NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation"

12 / 12 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 50 0 0 23 Feb 2025
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 38 0 0 26 Oct 2024
Understanding the Complexity and Its Impact on Testing in ML-Enabled Systems Junming Cao Bihuan Chen Longjie Hu Jie Ying Gao Kaifeng Huang Xin Peng 26 3 0 10 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 41 1 0 15 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 26 11 0 06 Dec 2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks Zhaodi Zhang Yiting Wu Siwen Liu Jing Liu Min Zhang AAML 29 11 0 21 Aug 2022
Shared Certificates for Neural Network Verification Marc Fischer C. Sprecher Dimitar I. Dimitrov Gagandeep Singh Martin Vechev AAML 25 12 0 01 Sep 2021
A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges G. Giray 38 121 0 14 Dec 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 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
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 317 5,847 0 08 Jul 2016