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"

9 / 9 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 30 3 0 12 Apr 2024
Logic for Explainable AI Adnan Darwiche 30 8 0 09 May 2023
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 20 11 0 06 Dec 2022
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training Jiaxu Tian Dapeng Zhi Si Liu Peixin Wang Guy Katz M. Zhang 22 1 0 21 Nov 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 18 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 80 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 231 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