Follow
Ye Zheng (郑烨)
Ye Zheng (郑烨)
Ph.D. student in CS, Rochester Institute of Technology
Verified email at rit.edu - Homepage
Title
Cited by
Cited by
Year
MpBP: verifying robustness of neural networks with multi-path bound propagation
Y Zheng, J Liu, X Shi
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
12022
Boosting Multi-neuron Convex Relaxation for Neural Network Verification
X Tang, Y Zheng, J Liu
International Static Analysis Symposium, 540-563, 2023
2023
Multi-path Back-propagation Method for Neural Network Verification.
Y Zheng, X Shi, J Liu
Int. J. Softw. Informatics 12 (4), 377-401, 2022
2022
基于多路径回溯的神经网络验证方法
郑烨， 施晓牧， 刘嘉祥
软件学报 33 (07), 2464-2481, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–4