|
个人信息Personal Information
副教授
博士生导师
硕士生导师
任职 : 本科教学管理办公室主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：大连市开发区图强街321号大连理工大学软件学院综合楼423室
联系方式：0411-62274417
电子邮箱：wang_jie@dlut.edu.cn
扫描关注
A Single-sample Pruning and Clustering Method for Neural Network Verification
点击次数：
发表时间：2024-05-22
发表刊物：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
页面范围：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