Hits:

Date of Publication:2024-05-22

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

Page Number:319-328

ISSN No.: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