Verification of Binarized Neural Networks via Inter-Neuron Factoring

v1v2 (latest)

Verification of Binarized Neural Networks via Inter-Neuron Factoring

9 October 2017

Chih-Hong Cheng

Georg Nührenberg

Chung-Hao Huang

ArXiv (abs)PDF HTML

Papers citing "Verification of Binarized Neural Networks via Inter-Neuron Factoring"

10 / 10 papers shown

Title
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
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
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 Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 80 83 0 17 Nov 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
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
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 114 217 0 19 Sep 2017