Current position: Home >> Scientific Research >> Paper Publications

A Single-sample Pruning and Clustering Method for Neural Network Verification

Release Time:2025-03-07  Hits:

Indexed by: Conference Paper

Document Code: 391920

Date of Publication: 2023-01-01

Journal: PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023

Page Number: 319-328

ISSN: 1530-1362

Prev One:A Dual Relaxation Method for Neural Network Verification

Next One:Modbus TCP/IP协议仿真应用设计