Overview of Robustness Verification for Feedforward and Recurrent Neural Networks
Article Title: Overview of Robustness Verification for Feedforward and Recurrent Neural Networks All Authors: Liu Ying, Yang Pengfei, Zhang Lijun, Wu Zhilin, Feng Yuan First Affiliation: National Key Laboratory of Computer Science (Institute of Software, Chinese Academy of Sciences) Publication Date: 2023, 34(7): 3134-3166 Abstract With the advent of the intelligent era, intelligent systems deployed … Read more