1 citations · 1 across the 2 of their papers we have counts for
2 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.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…