v1v2 (latest)

Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations

19 January 2023

Papers citing "Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations"

25 / 25 papers shown

Title
The Power of Typed Affine Decision Structures: A Case Study Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 44 3 0 28 Apr 2023
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 94 112 0 31 Aug 2021
Using activation histograms to bound the number of affine regions in ReLU feed-forward neural networks Peter Hinz 34 6 0 31 Mar 2021
Unwrapping The Black Box of Deep ReLU Networks: Interpretability, Diagnostics, and Simplification Agus Sudjianto William Knauth Rahul Singh Zebin Yang Aijun Zhang FAtt 66 46 0 08 Nov 2020
Language Models are Few-Shot Learners Tom B. Brown Benjamin Mann Nick Ryder Melanie Subbiah Jared Kaplan ... Christopher Berner Sam McCandlish Alec Radford Ilya Sutskever Dario Amodei BDL 904 42,463 0 28 May 2020
Empirical Studies on the Properties of Linear Regions in Deep Neural Networks Xiao Zhang Dongrui Wu 50 38 0 04 Jan 2020
Dota 2 with Large Scale Deep Reinforcement Learning OpenAI OpenAI : Christopher Berner Greg Brockman Brooke Chan ... Szymon Sidor Ilya Sutskever Jie Tang Filip Wolski Susan Zhang GNN VLM CLL AI4CE LRM 169 1,838 0 13 Dec 2019
A Survey on Explainable Artificial Intelligence (XAI): Towards Medical XAI Erico Tjoa Cuntai Guan XAI 122 1,455 0 17 Jul 2019
Deep ReLU Networks Have Surprisingly Few Activation Patterns Boris Hanin David Rolnick 90 228 0 03 Jun 2019
Self-Driving Cars: A Survey C. Badue Rânik Guidolini Raphael V. Carneiro Pedro Azevedo Vinicius B. Cardoso ... T. M. Paixão Filipe Wall Mutz Lucas Veronese Thiago Oliveira-Santos Alberto F. de Souza LRM 124 952 0 14 Jan 2019
Exact and Consistent Interpretation for Piecewise Linear Neural Networks: A Closed Form Solution Lingyang Chu X. Hu Juhua Hu Lanjun Wang J. Pei 50 99 0 17 Feb 2018
A Survey Of Methods For Explaining Black Box Models Riccardo Guidotti A. Monreale Salvatore Ruggieri Franco Turini D. Pedreschi F. Giannotti XAI 150 3,989 0 06 Feb 2018
State-of-the-art Speech Recognition With Sequence-to-Sequence Models Chung-Cheng Chiu Tara N. Sainath Yonghui Wu Rohit Prabhavalkar Patrick Nguyen ... Katya Gonina Navdeep Jaitly Yue Liu J. Chorowski M. Bacchiani AI4TS 95 1,154 0 05 Dec 2017
Bounding and Counting Linear Regions of Deep Neural Networks Thiago Serra Christian Tjandraatmadja Srikumar Ramalingam MLT 67 251 0 06 Nov 2017
Towards Deep Learning Models Resistant to Adversarial Attacks Aleksander Madry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu SILM OOD 319 12,151 0 19 Jun 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
Grad-CAM: Visual Explanations from Deep Networks via Gradient-based Localization Ramprasaath R. Selvaraju Michael Cogswell Abhishek Das Ramakrishna Vedantam Devi Parikh Dhruv Batra FAtt 351 20,110 0 07 Oct 2016
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 282 8,587 0 16 Aug 2016
"Why Should I Trust You?": Explaining the Predictions of Any Classifier Marco Tulio Ribeiro Sameer Singh Carlos Guestrin FAtt FaML 1.2K 17,071 0 16 Feb 2016
Visualizing Deep Convolutional Neural Networks Using Natural Pre-Images Aravindh Mahendran Andrea Vedaldi FAtt 95 536 0 07 Dec 2015
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 282 19,145 0 20 Dec 2014
On the Number of Linear Regions of Deep Neural Networks Guido Montúfar Razvan Pascanu Kyunghyun Cho Yoshua Bengio 96 1,256 0 08 Feb 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 291 14,968 1 21 Dec 2013
On the number of response regions of deep feed forward networks with piece-wise linear activations Razvan Pascanu Guido Montúfar Yoshua Bengio FAtt 124 257 0 20 Dec 2013
Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps Karen Simonyan Andrea Vedaldi Andrew Zisserman FAtt 317 7,321 0 20 Dec 2013