Pruning and Slicing Neural Networks using Formal Verification

28 May 2021

Papers citing "Pruning and Slicing Neural Networks using Formal Verification"

27 / 27 papers shown

Title
Comparing Neural Network Encodings for Logic-based Explainability Levi Cordeiro Carvalho Saulo A. F. Oliveira Thiago Alves Rocha AAML 104 0 0 26 May 2025
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 44 46 0 25 May 2021
Lost in Pruning: The Effects of Pruning Neural Networks beyond Test Accuracy Lucas Liebenwein Cenk Baykal Brandon Carter David K Gifford Daniela Rus AAML 51 73 0 04 Mar 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 36 58 0 05 Nov 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 38 33 0 07 Oct 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 23 49 0 24 Jun 2020
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 44 59 0 17 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 46 128 0 12 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 15 45 0 06 Apr 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 94 124 0 31 Oct 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 36 105 0 25 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 86 397 0 15 Mar 2019
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 72 476 0 28 Apr 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 87 691 0 25 Apr 2018
Toward Scalable Verification for Safety-Critical Deep Networks L. Kuper Guy Katz Justin Emile Gottschlich Kyle D. Julian Clark W. Barrett Mykel Kochenderfer 86 40 0 18 Jan 2018
Towards Proving the Adversarial Robustness of Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel J. Kochenderfer AAML OOD 49 118 0 08 Sep 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 52 357 0 22 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 89 624 0 03 May 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 297 1,855 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 200 938 0 21 Oct 2016
Quantized Neural Networks: Training Neural Networks with Low Precision Weights and Activations Itay Hubara Matthieu Courbariaux Daniel Soudry Ran El-Yaniv Yoshua Bengio MQ 132 1,861 0 22 Sep 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 66 4,163 0 25 Apr 2016
XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks Mohammad Rastegari Vicente Ordonez Joseph Redmon Ali Farhadi MQ 156 4,350 0 16 Mar 2016
SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <0.5MB model size F. Iandola Song Han Matthew W. Moskewicz Khalid Ashraf W. Dally Kurt Keutzer 132 7,464 0 24 Feb 2016
Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding Song Han Huizi Mao W. Dally 3DGS 227 8,821 0 01 Oct 2015
Very Deep Convolutional Networks for Large-Scale Image Recognition Karen Simonyan Andrew Zisserman FAtt MDE 1.2K 100,202 0 04 Sep 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 220 14,893 1 21 Dec 2013