Scholar
Guanqin Zhang
Google Scholar ID: 2xXPkLUAAAAJ
Ph.D. Candidate at University of New South Wales
Citations & Impact
Citations
268
H-index
4
i10-index
2
Publications
11
Co-authors
8
list available
Publications
Resume (English only)
Academic Achievements
- Published 'Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality' at OOPSLA 2025
- Published 'Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Tree' at ECOOP 2025
- Published 'Understanding the Robustness of Machine-Unlearning Models' at ACISP 2025
- Published 'Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification' at Date 2025
- Published 'Eager to Stop: Efficient Falsification of Deep Neural Networks' at ICFEM 2023
- Published 'Path-sensitive code embedding via contrastive learning for software vulnerability detection' at ISSTA 2022
- Published 'Flow2vec: Value-flow-based precise code embedding' at OOPSLA 2020
- Published journal paper 'A tale of two cities: data and configuration variances in robust deep learning' in IEEE Internet Computing 2023
