Si Liu
发表
A. Perrig,
D. Basin,
C. Sprenger,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Guy Katz,
M. Zhang,
Peixin Wang,
2022,
International Conference on Verification, Model Checking and Abstract Interpretation.
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation
M. Zhang,
Si Liu,
Yiting Wu,
2022,
ArXiv.
M. Zhang,
Yiting Wu,
Si Liu,
2023,
ISSTA.
Yang Chen,
J. Liu,
Min Zhang,
2023,
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
D. Basin,
Hengfeng Wei,
Haixiang Li,
2023,
Proc. VLDB Endow..
Guy Katz,
M. Zhang,
Peixin Wang,
2022,
2211.11127.