Fetching the paper…
Reading the bibliography…
As a new programming paradigm, deep neural networks (DNNs) have been increasingly deployed in practice, but the lack of robustness hinders their applications in safety-critical domains.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977 , Robert M. Graham, Michael A. Harrison, and Ravi Sethi (Eds.). ACM, 238–252
Patrick Cousot and Radhia Cousot. 1977 · 1977
Earlier work this paper cites.
Automatic Discovery of Linear Restraints Among Variables of a Program. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978 , Alfred V. Aho, Stephen N. Zilles, and Thomas G. Szymanski (Eds.). ACM Press, 84–96
Patrick Cousot and Nicolas Halbwachs. 1978 · 1978
Earlier work this paper cites.
The MNIST database of handwritten digits
Yann LeCun. 1998 · 1998
Earlier work this paper cites.
Counterexample-Guided Abstraction Refinement. In Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings (Lecture Notes in Computer Science, Vol. 1855) , E. Allen Emerson and A. Prasad Sistla (Eds.). Springer, 154–169
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. 2000 · 2000
Earlier work this paper cites.
Adversarial classification. In Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining . 99–108
Nilesh N. Dalvi, Pedro M. Domingos, Mausam, Sumit K. Sanghai, and Deepak Verma. 2004 · 2004
Earlier work this paper cites.
Self-Driving Cars and the Urban Challenge
Chris Urmson and William Whittaker. 2008 · 2008
Earlier work this paper cites.
The Zonotope Abstract Domain Taylor1+. In Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings (Lecture Notes in Computer Science, Vol. 5643) , Ahmed Bouajjani and Oded Maler (Eds.). Springer, 627–633
Khalil Ghorbal, Eric Goubault, and Sylvie Putot. 2009 · 2009
Earlier work this paper cites.
Learning multiple layers of features from tiny images
Alex Krizhevsky, Geoffrey Hinton, et al · 2009
Earlier work this paper cites.
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. In Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings (Lecture Notes in Computer Science, Vol. 6174) , Tayssir Touili, Byron Cook, and Paul B. Jackson (Eds.). Springer, 243–257
Luca Pulina and Armando Tacchella. 2010 · 2010
Earlier work this paper cites.
Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups
Geoffrey Hinton, Li Deng, Dong Yu, George E. Dahl, Abdel-rahman Mohamed, Navdeep Jaitly, Andrew Senior, Vincent Vanhoucke, Patrick Nguyen, Tara N. Sainath, and Brian Kingsbury. 2012 · 2012
Earlier work this paper cites.
Intriguing properties of neural networks. In Proceedings of the 2nd International Conference on Learning Representations
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus. 2014 · 2014
Earlier work this paper cites.
Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy. 2015 · 2015
Earlier work this paper cites.
ImageNet Large Scale Visual Recognition Challenge
Olga Russakovsky, Jia Deng, Hao Su, Jonathan Krause, Sanjeev Satheesh, Sean Ma, Zhiheng Huang, Andrej Karpathy, Aditya Khosla, Michael S. Bernstein, Alexander C. Berg, and Fei-Fei Li. 2015 · 2015
Earlier work this paper cites.
The Limitations of Deep Learning in Adversarial Settings. In IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016 . 372–387
Nicolas Papernot, Patrick D. McDaniel, Somesh Jha, Matt Fredrikson, Z. Berkay Celik, and Ananthram Swami. 2016 · 2016
Earlier work this paper cites.
Piecewise Linear Neural Network verification: A comparative study
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, and M. Pawan Kumar. 2017 · 2017
Earlier work this paper cites.
Towards Evaluating the Robustness of Neural Networks. In 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017 . 39–57
Nicholas Carlini and David A. Wagner. 2017 · 2017
Earlier work this paper cites.
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. In Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10482) , Deepak D’Souza and K. Narayan Kumar (Eds.). Springer, 269–286
Rüdiger Ehlers. 2017 · 2017
Earlier work this paper cites.
Safety Verification of Deep Neural Networks. In Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 10426) , Rupak Majumdar and Viktor Kuncak (Eds.). Springer, 3–29
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, and Min Wu. 2017 · 2017
Cited alongside, same era.
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 10426) , Rupak Majumdar and Viktor Kuncak (Eds.). Springer, 97–117
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. 2017 · 2017
Cited alongside, same era.
Adversarial examples in the physical world. In 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Workshop Track Proceedings
Alexey Kurakin, Ian J. Goodfellow, and Samy Bengio. 2017 · 2017
Cited alongside, same era.
A survey on deep learning in medical image analysis
Robustness Verification of Classification Deep Neural Networks via Linear Programming. In IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019 . Computer Vision Foundation / IEEE, 11418–11427
Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, and Jifeng He. 2019 · 2019
Later among the works it cites.
DeepXplore: automated whitebox testing of deep learning systems
Kexin Pei, Yinzhi Cao, Junfeng Yang, and Suman Jana. 2019 · 2019
Later among the works it cites.
Abstraction based Output Range Analysis for Neural Networks. In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada , Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d’Alché-Buc, Emily B. Fox, and Roman Garnett (Eds.). 15762–15772
Pavithra Prabhakar and Zahra Rahimi Afzal. 2019 · 2019
Later among the works it cites.
An abstract domain for certifying neural networks
Gagandeep Singh, Timon Gehr, Markus Püschel, and Martin T. Vechev. 2019 · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Geert Litjens, Thijs Kooi, Babak Ehteshami Bejnordi, Arnaud Arindra Adiyoso Setio, Francesco Ciompi, Mohsen Ghafoorian, Jeroen A. W. M. van der Laak, Bram van Ginneken, and Clara I. Sánchez. 2017 · 2017
Cited alongside, same era.
An approach to reachability analysis for feed-forward ReLU neural networks
Alessio Lomuscio and Lalit Maganti. 2017 · 2017
Cited alongside, same era.
An Equivalence of Fully Connected Layer and Convolutional Layer
Wei Ma and Jun Lu. 2017 · 2017
Cited alongside, same era.
Verifying Neural Networks with Mixed Integer Programming
Vincent Tjeng and Russ Tedrake. 2017 · 2017
Cited alongside, same era.
Output Range Analysis for Deep Feedforward Neural Networks. In NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science, Vol. 10811) , Aaron Dutle, César A. Muñoz, and Anthony Narkawicz (Eds.). Springer, 121–138
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari. 2018 · 2018
Cited alongside, same era.
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA . IEEE Computer Society, 3–18
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin T. Vechev. 2018 · 2018
Cited alongside, same era.
MODE: automated neural network model debugging via state differential analysis and input selection. In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 175–186
Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, and Ananth Grama. 2018b · 2018
Cited alongside, same era.
Fast and Effective Robustness Certification. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada , Samy Bengio, Hanna M. Wallach, Hugo Larochelle, Kristen Grauman, Nicolò Cesa-Bianchi, and Roman Garnett (Eds.). 10825–10836
Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, and Martin T. Vechev. 2018 · 2018
Cited alongside, same era.
Concolic testing for deep neural networks. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . 109–119
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening. 2018 · 2018
Cited alongside, same era.
Later among the works it cites.
Star-Based Reachability Analysis of Deep Neural Networks. In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Lecture Notes in Computer Science, Vol. 11800) , Maurice H. ter Beek, Annabelle McIver, and José N. Oliveira (Eds.). Springer, 670–686
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T. Johnson. 2019 · 2019
Later among the works it cites.
DeepAbstract: Neural Network Abstraction for Accelerating Verification. In Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Lecture Notes in Computer Science, Vol. 12302) , Dang Van Hung and Oleg Sokolsky (Eds.). Springer, 92–107
Pranav Ashok, Vahid Hashemi, Jan Kretínský, and Stefanie Mohr. 2020 · 2020
Later among the works it cites.
An Abstraction-Based Framework for Neural Network Verification. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 12224) , Shuvendu K. Lahiri and Chao Wang (Eds.). Springer, 43–65
Yizhak Yisrael Elboher, Justin Gottschlich, and Guy Katz. 2020 · 2020
Later among the works it cites.
Simplifying Neural Networks Using Formal Verification. In NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (Lecture Notes in Computer Science, Vol. 12229) , Ritchie Lee, Susmit Jha, and Anastasia Mavridou (Eds.). Springer, 85–93
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, and Guy Katz. 2020 · 2020
Later among the works it cites.
2nd International Verification of Neural Networks Competition (VNN-COMP’21)
2021 · 2021
Later among the works it cites.
Stanley Bak, Changliu Liu, and Taylor T. Johnson. 2021 · 2021
Later among the works it cites.
A Review of Formal Methods applied to Machine Learning
Caterina Urban and Antoine Miné. 2021 · 2021
Later among the works it cites.
Improving Neural Network Verification through Spurious Region Guided Refinement. In Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 12651) , Jan Friso Groote and Kim Guldstrand Larsen (Eds.). Springer, 389–408
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, and Lijun Zhang. 2021 · 2021
Later among the works it cites.
ETH Robustness Analyzer for Neural Networks (ERAN)
SRI Lab. 2022 · 2022
Closest in time.
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
Matan Ostrovsky, Clark W. Barrett, and Guy Katz. 2022 · 2022
Closest in time.
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
Brandon Paulsen and Chao Wang. 2022 · 2022
Closest in time.
Machine Learning Testing: Survey, Landscapes and Horizons
Jie M. Zhang, Mark Harman, Lei Ma, and Yang Liu. 2022 · 2022
Closest in time.