Fetching the paper…
Reading the bibliography…
Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authentication).
Gradient-based learning applied to document recognition
Yann LeCun, Léon Bottou, Yoshua Bengio, and Patrick Haffner · 1998
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.
Rectified linear units improve restricted boltzmann machines
Vinod Nair and Geoffrey E Hinton · 2010
Earlier work this paper cites.
Maxout networks
Ian Goodfellow, David Warde-Farley, Mehdi Mirza, Aaron Courville, and Yoshua Bengio · 2013
Earlier work this paper cites.
Explaining and harnessing adversarial examples
Ian J Goodfellow, Jonathon Shlens, and Christian Szegedy · 2014
Earlier work this paper cites.
Droid-sec: deep learning in android malware detection
Zhenlong Yuan, Yongqiang Lu, Zhaoguo Wang, and Yibo Xue · 2014
Earlier work this paper cites.
Facenet: A unified embedding for face recognition and clustering
Florian Schroff, Dmitry Kalenichenko, and James Philbin · 2015
Earlier work this paper cites.
Document modeling with gated recurrent neural network for sentiment classification
Duyu Tang, Bing Qin, and Ting Liu · 2015
Earlier work this paper cites.
End to end learning for self-driving cars
Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al · 2016
Earlier work this paper cites.
Policy compression for aircraft collision avoidance systems
Kyle D Julian, Jessica Lopez, Jeffrey S Brush, Michael P Owen, and Mykel J Kochenderfer · 2016
Earlier work this paper cites.
A general retraining framework for scalable adversarial classification
Bo Li, Yevgeniy Vorobeychik, and Xinyun Chen · 2016
Earlier work this paper cites.
An introduction to acas xu and the challenges ahead
Guido Manfredi and Yannick Jestin · 2016
Cited alongside, same era.
The limitations of deep learning in adversarial settings
Nicolas Papernot, Patrick McDaniel, Somesh Jha, Matt Fredrikson, Z Berkay Celik, and Ananthram Swami · 2016
Cited alongside, same era.
An overview of gradient descent optimization algorithms
Sebastian Ruder · 2016
Cited alongside, same era.
Towards evaluating the robustness of neural networks
Nicholas Carlini and David Wagner · 2017
Cited alongside, same era.
Reluplex: An efficient smt solver for verifying deep neural networks
Guy Katz, Clark Barrett, David L Dill, Kyle Julian, and Mykel J Kochenderfer · 2017
Cited alongside, same era.
Evaluating robustness of neural networks with mixed integer programming
Towards neural network patching: Evaluating engagement-layers and patch-architectures
Sebastian Kauschke and David Hermann Lehmann · 2018
Later among the works it cites.
Deepgauge: Multi-granularity testing criteria for deep learning systems
Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, et al · 2018
Later among the works it cites.
Mode: automated neural network model debugging via state differential analysis and input selection
Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, and Ananth Grama · 2018
Later among the works it cites.
Efficient formal safety analysis of neural networks
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana · 2018
Later among the works it cites.
The marabou framework for verification and analysis of deep neural networks
Guy Katz, Derek A Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, et al · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Vincent Tjeng, Kai Xiao, and Russ Tedrake · 2017
Cited alongside, same era.
Ensemble adversarial training: Attacks and defenses
Florian Tramèr, Alexey Kurakin, Nicolas Papernot, Ian Goodfellow, Dan Boneh, and Patrick McDaniel · 2017
Cited alongside, same era.
Using deep learning to investigate the neuroimaging correlates of psychiatric and neurological disorders: Methods and applications
Sandra Vieira, Walter HL Pinaya, and Andrea Mechelli · 2017
Cited alongside, same era.
Gurobi optimizer reference manual
Incorporate Gurobi Optimization · 2018
Cited alongside, same era.
Batchwise patching of classifiers
Sebastian Kauschke and Johannes Fürnkranz · 2018
Cited alongside, same era.
Beyond the single neuron convex barrier for neural network certification
Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, and Martin Vechev · 2019
Later among the works it cites.
An abstract domain for certifying neural networks
Gagandeep Singh, Timon Gehr, Markus Püschel, and Martin Vechev · 2019
Later among the works it cites.
Search based repair of deep neural networks
Jeongju Sohn, Sungmin Kang, and Shin Yoo · 2019
Later among the works it cites.
Minimal modifications of deep neural networks using verification
Ben Goldberger, Guy Katz, Yossi Adi, and Joseph Keshet · 2020
Closest in time.
Few-shot guided mix for dnn repairing
Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, and Jianjun Zhao · 2020
Closest in time.