Zhang, Xiyue

1. SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
   2025/02/20 by M-A-P Team, P Team, Xinrun Du +179 · 71 citations
   Social Sciences · #Artificial Intelligence in Law #Computation and Language (cs.CL) #FOS: Computer and information sciences
2. Knowledge-Enhanced Hierarchical Graph Transformer Network for Multi-Behavior Recommendation
   2021/10/08 by Xia, Lianghao, Huang, Chao, Xu, Yong +5 · 5 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Information Retrieval (cs.IR)
3. Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty
   2020/04/24 by Xiyue Zhang, Xiaofei Xie, Zhang, Xiyue +13 · 4 citations
   Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security #Software Engineering (cs.SE)
4. Traffic Flow Forecasting with Spatial-Temporal Graph Diffusion Network
   2021/10/08 by Zhang, Xiyue, Huang, Chao, Xu, Yong +5 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
5. Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages
   2022/06/27 by Wei, Zeming, Zhang, Xiyue, Sun, Meng · 2 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
6. When to Trust AI: Advances and Challenges for Certification of Neural Networks
   2023/09/20 by Kwiatkowska, Marta, Zhang, Xiyue · 2 citations
   #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)
7. PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
   2024/08/17 by Xiyue Zhang, Benjie Wang, Zhang, Xiyue +5 · 2 citations
   Computer Science · #Neural Networks and Applications #Time Series Analysis and Forecasting
8. Provable Preimage Under-Approximation for Neural Networks (Full Version)
   2023/05/05 by Zhang, Xiyue, Wang, Benjie, Kwiatkowska, Marta · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
9. Using Z3 for Formal Modeling and Verification of FNN Global Robustness
   2023/04/20 by Zhang, Yihao, Wei, Zeming, Zhang, Xiyue +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
10. Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks
    2023/06/24 by Zeming Wei, Wei, Zeming, Xiyue Zhang +5 · 1 citation
    Computer Science · Engineering · Materials Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Machine Learning in Materials Science