Xinyue Zuo

1. The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
   2024/12/09 by Yedi Zhang, Yufan Cai, Zhang, Yedi +21 · 8 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Empirical Study on Transformer-based Techniques for Software Engineering
   2023/09/30 by Yan Xiao, Xinyue Zuo, Xiao, Yan +9 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Software Reliability and Analysis Research