Sign in
Zhiyi Xue
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 5
Top Topics
Image Classification
Salt Pepper
Neural Network
Closed Form
Top Venues
CoRR
ISSTA
CVPR
</>
Publications
</>
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)