ESEC/FSE 2022 (series) / Ye Zheng
Registered user since Wed 24 Aug 2022
Name:Ye Zheng
Country:China
Affiliation:Shenzhen University, Shenzhen, China
GitHub:https://github.com/ZhengYeah
Research interests:Neural Network Verification, Formal Verification, Constraints Solving
Contributions
| ESEC/FSE 2022 | MpBP: Verifying Robustness of Neural Networks with Multi-Path Bound Propagation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESEC/FSE 2022-profile
View general profile
View general profile