Wenjie Wan

According to our database, Wenjie Wan authored at least 3 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks.

Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Attack-Guided Efficient Robustness Verification of ReLU Neural Networks.

Yiwei Zhu, Feng Wang, Wenjie Wan, Min Zhang

Proceedings of the International Joint Conference on Neural Networks, 2021

2020

Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels.

Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song

CoRR, 2020