ReluDiff: Differential Verification of Deep Neural Networks

10 January 2020

Papers citing "ReluDiff: Differential Verification of Deep Neural Networks"

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 48 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
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 26 11 0 06 Dec 2022
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 24 12 0 22 Mar 2022
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 22 2 0 09 Jun 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning Zikang Xiong Suresh Jagannathan 29 6 0 20 Apr 2021
DeepPayload: Black-box Backdoor Attack on Deep Learning Models through Neural Payload Injection Yuanchun Li Jiayi Hua Haoyu Wang Chunyang Chen Yunxin Liu FedML SILM 86 75 0 18 Jan 2021
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,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta 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,842 0 08 Jul 2016