1. David Alvarez-Melis and Tommi S Jaakkola. 2018. Towards robust interpretability with self-explaining neural networks. In Neural Information Processing Systems. David Alvarez-Melis and Tommi S Jaakkola. 2018. Towards robust interpretability with self-explaining neural networks. In Neural Information Processing Systems.
2. Mislav Balunović Maximilian Baader Gagandeep Singh Timon Gehr and Martin Vechev. 2019. Certifying geometric robustness of neural networks. Neural Information Processing Systems. Mislav Balunović Maximilian Baader Gagandeep Singh Timon Gehr and Martin Vechev. 2019. Certifying geometric robustness of neural networks. Neural Information Processing Systems.
3. The if-problem in automatic differentiation;Beck Thomas;J. Comput. Appl. Math..,1994
4. 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 . End to End Learning for Self-Driving Cars . arxiv:1604.07316. 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. End to End Learning for Self-Driving Cars. arxiv:1604.07316.
5. Continuity analysis of programs