Verifying Recurrent Neural Networks using Invariant Inference

6 April 2020

Papers citing "Verifying Recurrent Neural Networks using Invariant Inference"

26 / 26 papers shown

Title
Generative Adversarial Networks Gilad Cohen Raja Giryes GAN 273 30,109 0 01 Mar 2022
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 51 59 0 17 Apr 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 99 126 0 31 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 65 4 0 25 Oct 2019
POPQORN: Quantifying Robustness of Recurrent Neural Networks Ching-Yun Ko Zhaoyang Lyu Tsui-Wei Weng Luca Daniel Ngai Wong Dahua Lin AAML 41 75 0 17 May 2019
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova VLM SSL SSeg 1.8K 94,770 0 11 Oct 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 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 95 40 0 18 Jan 2018
Fooling End-to-end Speaker Verification by Adversarial Examples Felix Kreuk Yossi Adi Moustapha Cissé Joseph Keshet AAML 50 203 0 10 Jan 2018
Generalized End-to-End Loss for Speaker Verification Li Wan Quan Wang Alan Papir Ignacio López Moreno VLM 68 926 0 28 Oct 2017
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 102 87 0 02 Oct 2017
Output Range Analysis for Deep Neural Networks Souradeep Dutta Susmit Jha S. Sankaranarayanan A. Tiwari AAML 58 120 0 26 Sep 2017
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 64 217 0 19 Sep 2017
Towards Proving the Adversarial Robustness of Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel J. Kochenderfer AAML OOD 78 118 0 08 Sep 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 63 359 0 22 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 102 626 0 03 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 104 284 0 28 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 315 1,868 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 219 943 0 21 Oct 2016
Playing FPS Games with Deep Reinforcement Learning Guillaume Lample Devendra Singh Chaplot OffRL EgoV 86 585 0 18 Sep 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 86 424 0 24 May 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 100 4,167 0 25 Apr 2016
Learning to Diagnose with LSTM Recurrent Neural Networks Zachary Chase Lipton David C. Kale Charles Elkan R. Wetzel 84 1,107 0 11 Nov 2015
End-to-End Text-Dependent Speaker Verification G. Heigold Ignacio López Moreno Samy Bengio Noam M. Shazeer 63 586 0 27 Sep 2015
Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation Kyunghyun Cho B. V. Merrienboer Çağlar Gülçehre Dzmitry Bahdanau Fethi Bougares Holger Schwenk Yoshua Bengio AIMat 1.0K 23,344 0 03 Jun 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 270 14,918 1 21 Dec 2013