Sound and Complete Neural Network Repair with Minimality and Locality Guarantees

Basic properties of convex polytopes

Martin Henk, Jürgen Richter-Gebert, and Günter M. Ziegler · 1997

Earlier work this paper cites.

On the complexity of vertex and facet enumeration for convex polytopes

David D Bremner · 1997

Earlier work this paper cites.

The mnist database of handwritten digits

Yann LeCun · 1998

Earlier work this paper cites.

Robust optimization , volume 28

Aharon Ben-Tal, Laurent El Ghaoui, and Arkadi Nemirovski · 2009

Earlier work this paper cites.

Imagenet classification with deep convolutional neural networks

Alex Krizhevsky, Ilya Sutskever, and Geoffrey E Hinton · 2012

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 Bernstein, Alexander C. Berg, and Li Fei-Fei · 2015

Earlier work this paper cites.

End to end learning for self-driving cars

Original

Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D. Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, Xin Zhang, Jake Zhao, and Karol Zieba · 2016

Earlier work this paper cites.

Understanding deep neural networks with rectified linear units

Original

Raman Arora, Amitabh Basu, Poorya Mianjy, and Anirbit Mukherjee · 2016

Earlier work this paper cites.

Overcoming catastrophic forgetting in neural networks

James Kirkpatrick, Razvan Pascanu, Neil Rabinowitz, Joel Veness, Guillaume Desjardins, Andrei A. Rusu, Kieran Milan, John Quan, Tiago Ramalho, Agnieszka Grabska-Barwinska, Demis Hassabis, Claudia Clopath, Dharshan Kumaran, and Raia Hadsell · 2017

Earlier work this paper cites.

Bounding and counting linear regions of deep neural networks

Original

Thiago Serra, Christian Tjandraatmadja, and Srikumar Ramalingam · 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.

Counterexample-guided data augmentation

Original

Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto Sangiovanni-Vincentelli, and Sanjit A Seshia · 2018

Cited alongside, same era.

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

Cited alongside, same era.

Turning your weakness into a strength: Watermarking deep neural networks by backdooring

Yossi Adi, Carsten Baum, Moustapha Cisse, Benny Pinkas, and Joseph Keshet · 2018

Guaranteeing safety for neural network-based aircraft collision avoidance systems

Kyle D Julian and Mykel J Kochenderfer · 2019

Later among the works it cites.

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

Later among the works it cites.

Editable neural networks

Original

Anton Sinitsin, Vsevolod Plokhotnyuk, Dmitriy Pyrkin, Sergei Popov, and Artem Babenko · 2020

Later among the works it cites.

Towards repairing neural networks correctly

Original

Guoliang Dong, Jun Sun, Jingyi Wang, Xinyu Wang, and Ting Dai · 2020

Later among the works it cites.

Minimal modifications of deep neural networks using verification

Ben Goldberger, Guy Katz, Yossi Adi, and Joseph Keshet · 2020

Later among the works it cites.