v1v2 (latest)

Verifying Properties of Binarized Deep Neural Networks

19 September 2017

Papers citing "Verifying Properties of Binarized Deep Neural Networks"

29 / 79 papers shown

Title
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 80 59 0 17 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 51 45 0 06 Apr 2020
On Tractable Representations of Binary Neural Networks Weijia Shi Andy Shih Adnan Darwiche Arthur Choi TPM OffRL 57 69 0 05 Apr 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 97 37 0 06 Mar 2020
Lossless Compression of Deep Neural Networks Thiago Serra Abhinav Kumar Srikumar Ramalingam 106 57 0 01 Jan 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 125 127 0 31 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 103 4 0 25 Oct 2019
Testing and verification of neural-network-based safety-critical control software: A systematic literature review Jin Zhang Jingyue Li 85 48 0 05 Oct 2019
Towards Robust Direct Perception Networks for Automated Driving Chih-Hong Cheng 19 1 0 30 Sep 2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks Saeid Tizpaz-Niari Pavol Cerný S. Sankaranarayanan Ashutosh Trivedi 24 4 0 23 Jul 2019
Verifying Robustness of Gradient Boosted Models Gil Einziger M. Goldstein Yaniv Saár Itai Segall 88 41 0 26 Jun 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 89 105 0 25 Jun 2019
Formal Verification of Input-Output Mappings of Tree Ensembles John Törnblom Simin Nadjm-Tehrani 80 36 0 10 May 2019
Reward Potentials for Planning with Learned Neural Network Transition Models B. Say Scott Sanner Sylvie Thiébaux 57 4 0 19 Apr 2019
Towards Safety Verification of Direct Perception Neural Networks Chih-Hong Cheng Chung-Hao Huang Thomas Brunner Vahid Hashemi 62 14 0 09 Apr 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 102 403 0 15 Mar 2019
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 76 80 0 26 Feb 2019
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development Gaétan Hains Arvid Jakobsson Y. Khmelevsky AI4CE 47 3 0 31 Jan 2019
A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability Xiaowei Huang Daniel Kroening Wenjie Ruan Marta Kwiatkowska Youcheng Sun Emese Thamo Min Wu Xinping Yi AAML 130 51 0 18 Dec 2018
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 73 38 0 28 Nov 2018
Combinatorial Attacks on Binarized Neural Networks Elias Boutros Khalil Amrita Gupta B. Dilkina AAML 89 40 0 08 Oct 2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang Patrick Musau A. Wild Diego Manzanas Lopez Nathaniel P. Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson 90 102 0 03 Oct 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 66 70 0 25 May 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 76 271 0 06 May 2018
Testing Deep Neural Networks Youcheng Sun Xiaowei Huang Daniel Kroening James Sharp Matthew Hill Rob Ashmore AAML 88 219 0 10 Mar 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 48 13 0 24 Feb 2018
Toward Scalable Verification for Safety-Critical Deep Networks L. Kuper Guy Katz Justin Emile Gottschlich Kyle D. Julian Clark W. Barrett Mykel Kochenderfer 109 40 0 18 Jan 2018
A Unified View of Piecewise Linear Neural Network Verification Rudy Bunel Ilker Turkaslan Philip Torr Pushmeet Kohli M. P. Kumar AAML 123 73 0 01 Nov 2017