Abstraction and Refinement: Towards Scalable and Exact Verification of
Neural Networks

Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks

2 July 2022

Papers citing "Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks"

11 / 11 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 53 0 0 23 Feb 2025
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 52 0 0 22 Feb 2025
NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-level Semantic Slicing Shide Zhou Tianlin Li Yihao Huang Ling Shi Kailong Wang Yang Liu Haoyu Wang 23 0 0 26 Jul 2024
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks Yedi Zhang Zhe Zhao Fu Song Hao Fei Tao Chen Jun Sun 36 17 0 10 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 26 11 0 06 Dec 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 35 5 0 23 Oct 2022
A Survey on Deep Learning in Medical Image Analysis G. Litjens Thijs Kooi B. Bejnordi A. Setio F. Ciompi Mohsen Ghafoorian Jeroen van der Laak Bram van Ginneken C. I. Sánchez OOD 355 10,639 0 19 Feb 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 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 365 5,849 0 08 Jul 2016
ImageNet Large Scale Visual Recognition Challenge Olga Russakovsky Jia Deng Hao Su J. Krause S. Satheesh ... A. Karpathy A. Khosla Michael S. Bernstein Alexander C. Berg Li Fei-Fei VLM ObjD 313 39,252 0 01 Sep 2014