Verification of Recurrent Neural Networks Through Rule Extraction.
作者： C. Lee Giles , Xue Liu , Qinglong Wang , Kaixuan Zhang
DOI:
关键词:
摘要: The verification problem for neural networks is verifying whether a neural network will suffer from adversarial samples, or approximating the maximal allowed scale of adversarial …
harvard.edu
arxiv.org参考文章(23)
Colin de la Higuera, Grammatical Inference: Learning Automata and Grammars ,(2010)
Joan Bruna, Christian Szegedy, Ilya Sutskever, Ian Goodfellow, Wojciech Zaremba, Rob Fergus, Dumitru Erhan, None, Intriguing properties of neural networks arXiv: Computer Vision and Pattern Recognition. ,(2013)
Zheng Zeng, Rodney M. Goodman, Padhraic Smyth, Learning finite machines with self-clustering recurrent networks Neural Computation. ,vol. 5, pp. 976- 990 ,(1993) , 10.1162/NECO.1993.5.6.976
Ingo Schellhammer, Joachim Diederich, Michael Towsey, Claudia Brugman, Knowledge extraction and recurrent neural networks Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning - NeMLaP3/CoNLL '98. pp. 73- 78 ,(1998) , 10.3115/1603899.1603912
Arturs Backurs, Piotr Indyk, Edit Distance Cannot Be Computed in Strongly Subquadratic Time (unless SETH is false) symposium on the theory of computing. pp. 51- 58 ,(2015) , 10.1145/2746539.2746612
Hsing-Hen Chen, C. Lee Giles, Guo-Zheng Sun, Dong Chen, Yee-Chun Lee, Higher Order Recurrent Networks and Grammatical Inference neural information processing systems. ,vol. 2, pp. 380- 387 ,(1989)
Henrik Jacobsson, Rule Extraction from Recurrent Neural Networks: A Taxonomy and Review Neural Computation. ,vol. 17, pp. 1223- 1263 ,(2005) , 10.1162/0899766053630350
Yoshua Bengio, Yoshua Bengio, Yoshua Bengio, Bart van Merrienboer, Kyunghyun Cho, Dzmitry Bahdanau, On the Properties of Neural Machine Translation: Encoder-Decoder Approaches arXiv: Computation and Language. ,(2014)
Marco Tulio Ribeiro, Sameer Singh, Carlos Guestrin, "Why Should I Trust You?": Explaining the Predictions of Any Classifier knowledge discovery and data mining. pp. 1135- 1144 ,(2016) , 10.1145/2939672.2939778
Yoshua Bengio, Ruslan Salakhutdinov, Saizheng Zhang, Yuhuai Wu, Ying Zhang, On Multiplicative Integration with Recurrent Neural Networks arXiv: Learning. ,(2016)