Fetching the paper…
Reading the bibliography…
Deep neural networks (DNN) are growing in capability and applicability.
S. Geman, E. Bienenstock, and R. Doursat, “Neural networks and the bias/variance dilemma,” Neural Computation , vol. 4, no. 1, pp. 1–58, 1992
1992
Earlier work this paper cites.
R. Duda, P. Hart, and D. Stork, Pattern classification , ser. Pattern Classification and Scene Analysis: Pattern Classification. Wiley, 2001. [Online]. Available: https://books.google.com/books?id=YoxQAAAAMAAJ
2001
Earlier work this paper cites.
X. Yin, J. Knight, and W. Weimer, “Exploiting refactoring in formal verification,” in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks . IEEE, 2009, pp. 53–62
2009
Earlier work this paper cites.
H. Bou-Ammar, H. Voos, and W. Ertel, “Controller design for quadrotor uavs using reinforcement learning,” in 2010 IEEE International Conference on Control Applications , Sept 2010, pp. 2130–2135
2010
Earlier work this paper cites.
M. Ó. Cinnéide, D. Boyle, and I. H. Moghadam, “Automated refactoring for testability,” in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops . IEEE, 2011, pp. 437–443
2011
Earlier work this paper cites.
M. Harman, “Refactoring as testability transformation,” in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops . IEEE, 2011, pp. 414–421
2011
Earlier work this paper cites.
A. Krizhevsky, I. Sutskever, and G. E. Hinton, “Imagenet classification with deep convolutional neural networks,” in Advances in Neural Information Processing Systems 25 , F. Pereira, C. J. C. Burges, L. Bottou, and K. Q. Weinberger, Eds. Curran Associates, Inc., 2012, pp. 1097–1105. [Online]. Available: http://papers.nips.cc/paper/4824-imagenet-classification-with-deep-convolutional-neural-networks.pdf
2012
Earlier work this paper cites.
V. Mnih, K. Kavukcuoglu, D. Silver, A. Graves, I. Antonoglou, D. Wierstra, and M. Riedmiller, “Playing atari with deep reinforcement learning,” in NIPS Deep Learning Workshop , 2013
2013
Earlier work this paper cites.
T. Preston-Werner, “TOML,” https://github.com/toml-lang/toml , 2013
2013
Earlier work this paper cites.
V. Mnih, K. Kavukcuoglu, D. Silver, A. A. Rusu, J. Veness, M. G. Bellemare, A. Graves, M. A. Riedmiller, A. Fidjeland, G. Ostrovski, S. Petersen, C. Beattie, A. Sadik, I. Antonoglou, H. King, D. Kumaran, D. Wierstra, S. Legg, and D. Hassabis, “Human-level control through deep reinforcement learning,” Nature , vol. 518, no. 7540, pp. 529–533, 2015. [Online]. Available: https://doi.org/10.1038/nature14236
2015
Earlier work this paper cites.
2015
Earlier work this paper cites.
A. Romero, N. Ballas, S. E. Kahou, A. Chassang, C. Gatta, and Y. Bengio, “Fitnets: Hints for thin deep nets,” in Proceedings of the International Conference on Learning Representations (ICLR) , 2015
2015
Earlier work this paper cites.
N. Imanberdiyev, C. Fu, E. Kayacan, and I. Chen, “Autonomous navigation of uav by using real-time model-based reinforcement learning,” in 2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV) , Nov 2016, pp. 1–6
2016
Earlier work this paper cites.
O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. V. Nori, and A. Criminisi, “Measuring neural net robustness with constraints,” in Proceedings of the 30th International Conference on Neural Information Processing Systems , ser. NIPS’16. USA: Curran Associates Inc., 2016, pp. 2621–2629. [Online]. Available: http://dl.acm.org/citation.cfm?id=3157382.3157391
2016
Earlier work this paper cites.
2016
Earlier work this paper cites.
I. Goodfellow, Y. Bengio, and A. Courville, Deep Learning . MIT Press, 2016, http://www.deeplearningbook.org
2016
Earlier work this paper cites.
K. He, X. Zhang, S. Ren, and J. Sun, “Deep residual learning for image recognition,” in 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016 , 2016, pp. 770–778
2016
Earlier work this paper cites.
Udacity, “Self driving car,” https://github.com/udacity/self-driving-car , 2016
2016
Earlier work this paper cites.
G. Katz, C. W. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer, “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 , 2017, pp. 97–117. [Online]. Available: https://doi.org/10.1007/978-3-319-63387-9_5
2017
Cited alongside, same era.
R. Ehlers, “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 , 2017, pp. 269–286. [Online]. Available: https://doi.org/10.1007/978-3-319-68167-2_19
2017
Cited alongside, same era.
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu, “Safety verification of deep neural networks,” in CAV (1) , ser. Lecture Notes in Computer Science, vol. 10426. Springer, 2017, pp. 3–29
2017
Cited alongside, same era.
——, “Formal security analysis of neural networks using symbolic intervals,” in USENIX Security Symposium . USENIX Association, 2018, pp. 1599–1614
2018
Later among the works it cites.
T. Weng, H. Zhang, H. Chen, Z. Song, C. Hsieh, L. Daniel, D. S. Boning, and I. S. Dhillon, “Towards fast computation of certified robustness for relu networks,” in ICML , ser. Proceedings of Machine Learning Research, vol. 80. PMLR, 2018, pp. 5273–5282
2018
Later among the works it cites.
S. Dutta, S. Jha, S. Sankaranarayanan, and A. Tiwari, “Output range analysis for deep feedforward neural networks,” in NFM , ser. Lecture Notes in Computer Science, vol. 10811. Springer, 2018, pp. 121–138
2018
Later among the works it cites.
R. R. Bunel, I. Turkaslan, P. H. S. Torr, P. Kohli, and P. K. Mudigonda, “A unified view of piecewise linear neural network verification,” in NeurIPS , 2018, pp. 4795–4804
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…
G. Chen, W. Choi, X. Yu, T. Han, and M. Chandraker, “Learning efficient object detection models with knowledge distillation,” in Advances in Neural Information Processing Systems 30 , I. Guyon, U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett, Eds. Curran Associates, Inc., 2017, pp. 742–751
2017
Cited alongside, same era.
2017
Cited alongside, same era.
ONNX, “Open Neural Network Exchange,” https://github.com/onnx/onnx , 2017
2017
Cited alongside, same era.
A. Paszke, S. Gross, S. Chintala, G. Chanan, E. Yang, Z. DeVito, Z. Lin, A. Desmaison, L. Antiga, and A. Lerer, “Automatic differentiation in pytorch,” in NIPS-W , 2017
2017
Cited alongside, same era.
K. Pei, Y. Cao, J. Yang, and S. Jana, “Deepxplore: Automated whitebox testing of deep learning systems,” in Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017 , 2017, pp. 1–18. [Online]. Available: https://doi.org/10.1145/3132747.3132785
2017
Cited alongside, same era.
R. Salay, R. Queiroz, and K. Czarnecki, “An analysis of iso 26262: Machine learning and safety in automotive software,” in SAE Technical Paper . SAE International, 04 2018. [Online]. Available: https://doi.org/10.4271/2018-01-1075
2018
Cited alongside, same era.
W. Xiang, H. Tran, and T. T. Johnson, “Output reachable set estimation and verification for multilayer neural networks,” IEEE Transactions on Neural Networks and Learning Systems , vol. 29, no. 11, pp. 5777–5783, Nov 2018
2018
Cited alongside, same era.
T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri, and M. Vechev, “Ai2: Safety and robustness certification of neural networks with abstract interpretation,” in 2018 IEEE Symposium on Security and Privacy (SP) , May 2018, pp. 3–18
2018
Cited alongside, same era.
W. Ruan, X. Huang, and M. Kwiatkowska, “Reachability analysis of deep neural networks with provable guarantees,” in IJCAI . ijcai.org, 2018, pp. 2651–2659
2018
Cited alongside, same era.
A. Loquercio, A. I. Maqueda, C. R. D. Blanco, and D. Scaramuzza, “Dronet: Learning to fly by driving,” IEEE Robotics and Automation Letters , 2018
2018
Later among the works it cites.
Y. Cheng, D. Wang, P. Zhou, and T. Zhang, “Model compression and acceleration for deep neural networks: The principles, progress, and challenges,” IEEE Signal Processing Magazine , vol. 35, no. 1, pp. 126–136, 2018
2018
Later among the works it cites.
M. Fowler, Refactoring: improving the design of existing code . Addison-Wesley Professional, 2018
2018
Later among the works it cites.
H. Zhang, T.-W. Weng, P.-Y. Chen, C.-J. Hsieh, and L. Daniel, “Efficient neural network robustness certification with general activation functions,” in Advances in Neural Information Processing Systems (NuerIPS) , dec 2018
2018
Later among the works it cites.
S. Wang, K. Pei, J. Whitehouse, J. Yang, and S. Jana, “Efficient formal safety analysis of neural networks,” in Advances in Neural Information Processing Systems 31 , S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, and R. Garnett, Eds. Curran Associates, Inc., 2018, pp. 6367–6377. [Online]. Available: http://papers.nips.cc/paper/7873-efficient-formal-safety-analysis-of-neural-networks.pdf
2018
Later among the works it cites.
H. Pham, M. Y. Guan, B. Zoph, Q. V. Le, and J. Dean, “Efficient neural architecture search via parameter sharing,” in Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsmässan, Stockholm, Sweden, July 10-15, 2018 , 2018, pp. 4092–4101
2018
Later among the works it cites.
V. Tjeng, K. Y. Xiao, and R. Tedrake, “Evaluating robustness of neural networks with mixed integer programming,” in International Conference on Learning Representations , 2019. [Online]. Available: https://openreview.net/forum?id=HyGIdiRqtm
2019
Closest in time.
A. Boopathy, T.-W. Weng, P.-Y. Chen, S. Liu, and L. Daniel, “Cnn-cert: An efficient framework for certifying robustness of convolutional neural networks,” in AAAI , Jan 2019
2019
Closest in time.
W. Zhou, V. Veitch, M. Austern, R. P. Adams, and P. Orbanz, “Non-vacuous generalization bounds at the imagenet scale: A pac-bayesian compression approach,” in Proceedings of the International Conference on Learning Representations (ICLR) , 2019, to appear
2019
Closest in time.
B. Neyshabur, Z. Li, S. Bhojanapalli, Y. LeCun, and N. Srebro, “Towards understanding the role of over-parametrization in generalization of neural networks,” in Proceedings of the International Conference on Learning Representations (ICLR) , 2019, to appear
2019
Closest in time.
2019
Closest in time.
G. Singh, T. Gehr, M. Püschel, and M. T. Vechev, “An abstract domain for certifying neural networks,” PACMPL , vol. 3, no. POPL, pp. 41:1–41:30, 2019
2019
Closest in time.
G. Singh, T. Gehr, M. Püschel, and M. Vechev, “Boosting robustness certification of neural networks,” in Proceedings of the International Conference on Learning Representations (ICLR) , 2019
2019
Closest in time.