Expediting Neural Network Verification via Network Reduction

Zhong, YY; Wang, RW; Khoo, SC

Wang, RW (通讯作者),Natl Univ Singapore, Singapore, Singapore.

2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023; (): 1263

Abstract

A wide range of verification methods have been proposed to verify the safety properties of deep neural networks ensuring that the networks function co......

Full Text Link