Scholar
Xiyue Zhang
Google Scholar ID: eBMhCGYAAAAJ
University of Bristol
Formal Methods
Artificial Intelligence
Trustworthy AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
320
H-index
9
i10-index
9
Publications
20
Co-authors
27
list available
Contact
No contact links provided.
Publications
8 items
From Verdict to Diagnosis: Attributable Security Review of Pull Requests
2026
Cited
0
Privacy-Preserving Robustness Verification for Neural Networks
2026
Cited
0
FedSight AI: Multi-Agent System Architecture for Federal Funds Target Rate Prediction
2025
Cited
0
Calibrated Adversarial Sampling: Multi-Armed Bandit-Guided Generalization Against Unforeseen Attacks
2025
Cited
0
Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis
2025
Cited
0
SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
2025
Cited
0
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
arXiv.org · 2024
Cited
4
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
27 total
Meng Sun
Professor, School of Mathematical Science, Peking University
Yang Liu
Nanyang Technological University
Xiaofei Xie
Singapore Management University
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Lei Ma
Associate Professor, The University of Tokyo, Japan & University of Alberta, Canada
Xiaoning Du
Senior Lecturer (equivalent to U.S. Associate Professor), Monash University
Co-author 7
Jianjun Zhao
Kyushu University
