Release Time:2025-03-07  Hits:

Date of Publication: 2024-05-22

Journal: Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Page Number: 319-328

ISSN: 1530-1362

Key Words: Backpropagation; Clustering algorithms; Clustering methods; Clusterings; Formal verification; Neural-networks; Pruning; Pruning methods; Robustness; Sample pruning; Single sample; Subnetworks; Verification techniques