Empirical Study on Transformer-based Techniques for Software Engineering. - Yan Xiao 002; Xinyue Zuo; Lei Xue; Kailong Wang 001; Jin Song Dong; Ivan Beschastnikh (CoRR, 2023)

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. - Yedi Zhang; Yufan Cai; Xinyue Zuo; Xiaokun Luan; Kailong Wang 001; Zhe Hou; Yifan Zhang; Zhiyuan Wei; Meng Sun 002; Jun Sun 001; Jing Sun 002; Jin Song Dong (CoRR, 2024)

Promises and perils of using Transformer-based models for SE research. - Yan Xiao 002; Xinyue Zuo; Xiaoyue Lu; Jin Song Dong; Xiaochun Cao; Ivan Beschastnikh (Neural Networks, 2025)