Scholar
Guanqin Zhang
Google Scholar ID: 2xXPkLUAAAAJ
Ph.D. Candidate at University of New South Wales
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
270
H-index
4
i10-index
3
Publications
11
Co-authors
8
list available
Publications
6 items
Branch and Bound for Relational Verification of Neural Networks
2026
Cited
0
Mining Verdict Boundaries for Neural Network Verification
2026
Cited
0
Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks
2026
Cited
0
Evaluating LLM Personalization via Semantic Constraint Verification
2026
Cited
0
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
2025
Cited
0
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
2025
Cited
0
Co-authors
7 total
Yulei Sui
University of New South Wales (UNSW Sydney)
Haoyu WANG (王浩宇)
Full Professor@HUST <- BUPT <- PKU
Xiao Cheng
University of New South Wales (UNSW Sydney)
H M N Dilum Bandara
Principal Research Scientist, Data 61, CSIRO
Prof. Shiping Chen
CSIRO Data61, Australia
Zhenya Zhang
Kyushu University
Tim Menzies
Professor, North Carolina State University, Computer Science, ACM Fellow, IEEE Fellow, ASE Fellow
