Guanqin Zhang

According to our database, Guanqin Zhang authored at least 11 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Mining Verdict Boundaries for Neural Network Verification.

Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality.

Guanqin Zhang, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

Proc. ACM Program. Lang., 2025

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact).

Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

Dagstuhl Artifacts Ser., 2025

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

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.

Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao

Proceedings of the Design, Automation & Test in Europe Conference, 2025

Understanding the Robustness of Machine-Unlearning Models.

Guanqin Zhang, Feng Xu, H. M. N. Dilum Bandara, Shiping Chen, Yulei Sui

Proceedings of the Information Security and Privacy - 30th Australasian Conference, 2025

2023

A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning.

Guanqin Zhang, Jiankun Sun, Feng Xu, Yulei Sui, H. M. N. Dilum Bandara, Shiping Chen, Tim Menzies

IEEE Internet Comput., 2023

Eager to Stop: Efficient Falsification of Deep Neural Networks.

Guanqin Zhang

Proceedings of the Formal Methods and Software Engineering, 2023

2022

Path-sensitive code embedding via contrastive learning for software vulnerability detection.

Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2020

Flow2Vec: value-flow-based precise code embedding.

Yulei Sui, Xiao Cheng, Guanqin Zhang, Haoyu Wang

Proc. ACM Program. Lang., 2020

An Evolutionary Perspective: A Study of Anubis Android Banking Trojan.

Baodi Ning, Guanqin Zhang, Zexin Zhong

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020