Zhiyi Xue

According to our database, Zhiyi Xue authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.

Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Boosting Verified Training for Robust Image Classifications via Abstraction.

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation.

Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang

CoRR, 2022