Guanqin Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2022–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Mining Verdict Boundaries for Neural Network Verification. | Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui |
| 2025 | ACISP | Understanding the Robustness of Machine-Unlearning Models. | Guanqin Zhang, Feng Xu, H. M. N. Dilum Bandara, Shiping Chen, Yulei Sui |
| 2025 | DATE | Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. | Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao |
| 2025 | ECOOP | Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. | Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui |
| 2023 | ICFEM | Eager to Stop: Efficient Falsification of Deep Neural Networks. | Guanqin Zhang |
| 2022 | ISSTA | Path-sensitive code embedding via contrastive learning for software vulnerability detection. | Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui |