Verification of Binarized Neural Networks via Inter-Neuron Factoring

9 October 2017

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

7 / 7 papers shown

Title
Testing and verification of neural-network-based safety-critical control software: A systematic literature review Jin Zhang Jingyue Li 25 47 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 36 394 0 15 Mar 2019
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 21 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