Boosting Robustness Certification of Neural Networks.

Gradient-based learning applied to document recognition

Yann LeCun, Léon Bottou, Yoshua Bengio et al. · Proceedings of the IEEE · 1998 · 58.2K citations · Full text

Computing, Computer Science, Computer Vision +14

Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups

Geoffrey E. Hinton, Li Deng, Dong Yu et al. · IEEE Signal Processing Magazine · 2012 · 10.3K citations

Computing, Computer Science, Acoustics +16

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

End to End Learning for Self-Driving Cars

Mariusz Bojarski, Davide Testa, Daniel Dworakowski et al. · arXiv (Cornell University) · 2016 · 3.1K citations · Full text

Computing, Autonomous Systems, Computer Science +17

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen et al. · 2018 · 813 citations · Full text

Computing, Computer Science, Artificial Intelligence +15