Verifying And Interpreting Neural Networks using Finite Automata

v1v2v3 (latest)

Verifying And Interpreting Neural Networks using Finite Automata

2 November 2022

ArXiv (abs)PDF HTML

Papers citing "Verifying And Interpreting Neural Networks using Finite Automata"

14 / 14 papers shown

Title
Hierarchical Text-Conditional Image Generation with CLIP Latents Aditya A. Ramesh Prafulla Dhariwal Alex Nichol Casey Chu Mark Chen VLM DiffM 419 6,916 0 13 Apr 2022
Reachability Is NP-Complete Even for the Simplest Neural Networks Marco Sälzer M. Lange 60 28 0 30 Aug 2021
Zero-Shot Text-to-Image Generation Aditya A. Ramesh Mikhail Pavlov Gabriel Goh Scott Gray Chelsea Voss Alec Radford Mark Chen Ilya Sutskever VLM 420 5,000 0 24 Feb 2021
A Survey on Neural Network Interpretability Yu Zhang Peter Tiño A. Leonardis K. Tang FaML XAI 207 684 0 28 Dec 2020
Model Interpretability through the Lens of Computational Complexity Pablo Barceló Mikaël Monet Jorge A. Pérez Bernardo Subercaseaux 186 98 0 23 Oct 2020
A Survey of Deep Learning Techniques for Autonomous Driving Sorin Grigorescu Bogdan Trasnea Tiberiu T. Cocias G. Macesanu 3DPC 98 1,402 0 17 Oct 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 68 80 0 26 Feb 2019
A Survey of the Recent Architectures of Deep Convolutional Neural Networks Asifullah Khan A. Sohail Umme Zahoora Aqsa Saeed Qureshi OOD 121 2,310 0 17 Jan 2019
Explaining Black Boxes on Sequential Data using Weighted Automata Stéphane Ayache Rémi Eyraud Noé Goudian 47 44 0 12 Oct 2018
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples Gail Weiss Yoav Goldberg Eran Yahav 67 187 0 27 Nov 2017
Axiomatic Attribution for Deep Networks Mukund Sundararajan Ankur Taly Qiqi Yan OOD FAtt 193 6,027 0 04 Mar 2017
A Survey on Deep Learning in Medical Image Analysis G. Litjens Thijs Kooi B. Bejnordi A. Setio F. Ciompi Mohsen Ghafoorian Jeroen van der Laak Bram van Ginneken C. I. Sánchez OOD 710 10,826 0 19 Feb 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 321 1,875 0 03 Feb 2017
Quantized Neural Networks: Training Neural Networks with Low Precision Weights and Activations Itay Hubara Matthieu Courbariaux Daniel Soudry Ran El-Yaniv Yoshua Bengio MQ 160 1,870 0 22 Sep 2016