Fetching the paper…
Reading the bibliography…
Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in envisaged applications.
Jocelyn Sietsma and Robert J. F. Dow, ‘Neural net pruning-why and how’, in Proceedings of International Conference on Neural Networks (ICNN’88), San Diego, CA, USA, July 24-27, 1988
1988
Earlier work this paper cites.
Yann LeCun, John S. Denker, and Sara A. Solla, ‘Optimal brain damage’, in Advances in Neural Information Processing Systems 2, [NIPS Conference, Denver, Colorado, USA, November 27-30, 1989]
1989
Earlier work this paper cites.
Yann LeCun, Léon Bottou, Yoshua Bengio, Patrick Haffner, et al., ‘Gradient-based learning applied to document recognition’, Proceedings of the IEEE
1998
Earlier work this paper cites.
Ilya Sutskever, James Martens, George E. Dahl, and Geoffrey E. Hinton, ‘On the importance of initialization and momentum in deep learning’, in Proceedings of the 30th International Conference on Machine Learning, ICML 2013, Atlanta, GA, USA, 16-21 June 2013
2013
Earlier work this paper cites.
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus, ‘Intriguing properties of neural networks’, in 2nd International Conference on Learning Representations, ICLR 2014, Banff, AB, Canada, April 14-16, 2014, Conference Track Proceedings
2014
Earlier work this paper cites.
Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy, ‘Explaining and harnessing adversarial examples’, in 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings
2015
Earlier work this paper cites.
2015
Earlier work this paper cites.
Sergey Ioffe and Christian Szegedy, ‘Batch normalization: Accelerating deep network training by reducing internal covariate shift’, in Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015
2015
Earlier work this paper cites.
Yann LeCun, Yoshua Bengio, and Geoffrey E. Hinton, ‘Deep learning’, Nature
2015
Earlier work this paper cites.
Zhuang Liu, Jianguo Li, Zhiqiang Shen, Gao Huang, Shoumeng Yan, and Changshui Zhang, ‘Learning efficient convolutional networks through network slimming’, in IEEE International Conference on Computer Vision, ICCV 2017, Venice, Italy, October 22-29, 2017
2017
Cited alongside, same era.
2017
Cited alongside, same era.
Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer, ‘Automatic differentiation in PyTorch’, in NIPS Autodiff Workshop
2017
Cited alongside, same era.
2017
Cited alongside, same era.
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana, ‘Efficient formal safety analysis of neural networks’, in Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada
2018
Later among the works it cites.
Eric Wong, Frank R. Schmidt, Jan Hendrik Metzen, and J. Zico Kolter, ‘Scaling provable adversarial defenses’, in Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada
2018
Later among the works it cites.
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
Yiwen Guo, Chao Zhang, Changshui Zhang, and Yurong Chen, ‘Sparse dnns with improved adversarial robustness’, in Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada
2018
Cited alongside, same era.
2018
Cited alongside, same era.
2018
Cited alongside, same era.
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, and Toby Walsh, ‘Verifying properties of binarized deep neural networks’, in Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018
2018
Cited alongside, same era.
2019
Later among the works it cites.
Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, and Clark W. Barrett, ‘The marabou framework for verification and analysis of deep neural networks’, in Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
2019
Later among the works it cites.
Zhuang Liu, Mingjie Sun, Tinghui Zhou, Gao Huang, and Trevor Darrell, ‘Rethinking the value of network pruning’, in 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019
2019
Later among the works it cites.
Gagandeep Singh, Timon Gehr, Markus Püschel, and Martin T. Vechev, ‘Boosting robustness certification of neural networks’, in 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019
2019
Later among the works it cites.
Vincent Tjeng, Kai Y. Xiao, and Russ Tedrake, ‘Evaluating robustness of neural networks with mixed integer programming’, in 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019
2019
Later among the works it cites.
Kai Y. Xiao, Vincent Tjeng, Nur Muhammad (Mahi) Shafiullah, and Aleksander Madry, ‘Training for faster adversarial robustness verification via inducing relu stability’, in 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019
2019
Later among the works it cites.