Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Ye Zheng

Registered user since Wed 24 Aug 2022

Name:Ye Zheng
Country:China
Affiliation:Shenzhen University, Shenzhen, China
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