VLDB 2026 Research / reviewers in the wild / expert
Xuezhou Tang
dblp:360/0457
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2024
0009-0005-5227-8682ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Improved Incremental Verification for Neural Networks
Xuezhou Tang |
TASE | 1 |
| 2023 | Boosting Multi-neuron Convex Relaxation for Neural Network Verification
Xuezhou Tang, Jiaxiang Liu 0001 |
SAS | 1 |