Zhiyi Xue

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Image Classification

Approximation Error

Queueing Networks

Top Venues

Publications

Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain. ICSE Companion (2024)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR (2023)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR (2023)
Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. CoRR (2023)
Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA (2023)
Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. CoRR (2022)