Verifying Properties of Binarized Deep Neural Networks

19 September 2017

Papers citing "Verifying Properties of Binarized Deep Neural Networks"

9 / 59 papers shown

Title
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 24 80 0 26 Feb 2019
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 22 37 0 28 Nov 2018
Verification of Recurrent Neural Networks Through Rule Extraction Qinglong Wang Kaixuan Zhang Xue Liu C. Lee Giles AAML 28 18 0 14 Nov 2018
Combinatorial Attacks on Binarized Neural Networks Elias Boutros Khalil Amrita Gupta B. Dilkina AAML 49 40 0 08 Oct 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 28 69 0 25 May 2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures S. Korneev Nina Narodytska Luca Pulina A. Tacchella Nikolaj S. Bjørner Shmuel Sagiv MQ 34 13 0 24 Feb 2018
A Unified View of Piecewise Linear Neural Network Verification Rudy Bunel Ilker Turkaslan Philip Torr Pushmeet Kohli M. P. Kumar AAML 26 73 0 01 Nov 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