QVIP: An ILP-based Formal Verification Approach for Quantized Neural
Networks

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks

10 December 2022

Jun Sun

Papers citing "QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks"

7 / 7 papers shown

Title
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 28 3 0 12 Apr 2024
Logic for Explainable AI Adnan Darwiche 22 7 0 09 May 2023
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 16 10 0 02 Jul 2022
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 72 17 0 25 Jan 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 224 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 250 5,833 0 08 Jul 2016