Guanqin Zhang

13 papers A 3C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.
DATE
Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao
2025 J jnl
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.
CoRR
Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao
2025 J jnl
Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality.
Proc. ACM Program. Lang.
Guanqin Zhang, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 J jnl
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact).
Dagstuhl Artifacts Ser.
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 A conf
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.
ECOOP
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 J jnl
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.
CoRR
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 — conf
Understanding the Robustness of Machine-Unlearning Models.
ACISP (3)
Guanqin Zhang, Feng Xu, H. M. N. Dilum Bandara, Shiping Chen, Yulei Sui
2023 J jnl
A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning.
IEEE Internet Comput.
Guanqin Zhang, Jiankun Sun, Feng Xu, Yulei Sui, H. M. N. Dilum Bandara, Shiping Chen, Tim Menzies
2023 C conf
Eager to Stop: Efficient Falsification of Deep Neural Networks.
ICFEM
Guanqin Zhang
2022 J jnl
A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning.
CoRR
Guanqin Zhang, Jiankun Sun, Feng Xu, H. M. N. Dilum Bandara, Shiping Chen, Yulei Sui, Tim Menzies
2022 A conf
Path-sensitive code embedding via contrastive learning for software vulnerability detection.
ISSTA
Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui
2020 — conf
An Evolutionary Perspective: A Study of Anubis Android Banking Trojan.
DSA
Baodi Ning, Guanqin Zhang, Zexin Zhong
2020 J jnl
Flow2Vec: value-flow-based precise code embedding.
Proc. ACM Program. Lang.
Yulei Sui, Xiao Cheng, Guanqin Zhang, Haoyu Wang