Title
Testing Untestable Neural Machine Translation: An Industrial Case Wujie Zheng Wenyu Wang Dian Liu Changrong Zhang Qinsong Zeng Yuetang Deng Wei Yang Pinjia He Tao Xie 4 24 0 06 Jul 2018
Revisiting the Importance of Individual Units in CNNs via Ablation Bolei Zhou Yiyou Sun David Bau Antonio Torralba FAtt 62 115 0 07 Jun 2018
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening 31 334 0 30 Apr 2018
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 50 87 0 02 Oct 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 368 5,849 0 08 Jul 2016