2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.SE2023
Expediting Neural Network Verification via Network Reduction
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
A wide range of verification methods have been proposed to verify the safety properties of deep neural networks ensuring that the networks function correctly in critical applicatio…
cs.CR2023★ 2 cited
ExploreADV: Towards exploratory attack for Neural Networks
Tianzuo Luo, Yuyi Zhong, Siaucheng Khoo
Although deep learning has made remarkable progress in processing various types of data such as images, text and speech, they are known to be susceptible to adversarial perturbatio…
cs.LG2021★ 1 cited
Scalable and Modular Robustness Analysis of Deep Neural Networks
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo +2
As neural networks are trained to be deeper and larger, the scalability of neural network analyzers is urgently required. The main technical insight of our method is modularly anal…