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
Publications
9 items
ME-Brain-1.0: Memory, Cognition and Action for Evolving Embodied Intelligence
2026
Cited
0
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
Load more
Co-authors
17 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
Jianjun Zhao
Kyushu University
Qiang Hu
Tianjin University
