Login / Signup
Xuezhou Tang
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Signature Verification
Neural Network
Multistage
Multi Label
Top Venues
TASE
SAS
</>
Publications
</>
Xuezhou Tang
Improved Incremental Verification for Neural Networks.
TASE
(2024)
Xuezhou Tang
,
Ye Zheng
,
Jiaxiang Liu
Boosting Multi-neuron Convex Relaxation for Neural Network Verification.
SAS
(2023)