论文成果
A Single-sample Pruning and Clustering Method for Neural Network Verification
- 点击次数：
- 发表时间：2024-05-22
- 发表刊物：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
- 文献类型：A
- 页面范围：319-328
- ISSN号：1530-1362
- 关键字：Backpropagation; Clustering algorithms; Clustering methods; Clusterings; Formal verification; Neural-networks; Pruning; Pruning methods; Robustness; Sample pruning; Single sample; Subnetworks; Verification techniques
