GZ
Guanqin Zhang
cs.LGcs.SEcs.PLcs.AIcs.CLcs.LOeess.SP
On Valency
published · living versionsW_pa9a3ubt·v1 · currentpublished
Neither Over- nor Under-Constrained: Evaluating LLM Personalization under a Constraint Qualification Audit
with Xuran Li, Imran Razzak, Hakim Hacid, Eleanna Kafeza +2
1 version
Preprints & journals
8 papers in the corpus · 2022–2026Neither Over- nor Under-Constrained: Evaluating LLM Personalization under a Constraint Qualification Audit2610.25676v1 · Xuran Li, Guanqin Zhang, Imran Razzak et al.2026 · 0 citationsarXivon Valency
Branch and Bound for Relational Verification of Neural Networks2608.13118v1 · Kota Fukuda, Zhenya Zhang, Guanqin Zhang et al.2026 · 0 citationsarXiv
Mining Verdict Boundaries for Neural Network Verification2607.28954v1 · Jiawei Ren, Guanqin Zhang, Zhenya Zhang et al.2026 · 0 citationsIn: Sampaio, A., Stoelinga, M. (eds.), Formal Methods, FM 2026, Lecture Notes in Computer Science, vol. 16556, pp. 67-88, Springer Nature Switzerland, Cham, 2026
Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks2606.25239v1 · Guanqin Zhang, Yulei Sui2026 · 0 citationsarXiv
Evaluating LLM Personalization via Semantic Constraint Verification2606.16368v1 · Xuran Li, Guanqin Zhang, Imran Razzak et al.2026 · 0 citationsarXiv
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees2507.17453v1 · Guanqin Zhang, Kota Fukuda, Zhenya Zhang et al.2025 · 24 citationsarXiv
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification2505.00963v1 · Kota Fukuda, Guanqin Zhang, Zhenya Zhang et al.2025 · 2 citationsarXiv
A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning2211.10012v2 · Guanqin Zhang, Jiankun Sun, Feng Xu et al.2022 · 2 citationsarXiv
Career total: 24 works. 8 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.