DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation

21 November 2022

Papers citing "DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation"

3 / 3 papers shown

Title
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning Renjue Li Pengfei Yang Cheng-Chao Huang Youcheng Sun Bai Xue Lijun Zhang AAML 78 17 0 25 Jan 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 78 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017