Xinyue Zuo

According to our database, Xinyue Zuo authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

PAT-Agent: Autoformalization for Model Checking.

Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong

CoRR, September, 2025

Promises and perils of using Transformer-based models for SE research.

Yan Xiao, Xinyue Zuo, Xiaoyue Lu, Jin Song Dong, Xiaochun Cao, Ivan Beschastnikh

Neural Networks, 2025

2024

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, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong

CoRR, 2024

2023

Empirical Study on Transformer-based Techniques for Software Engineering.

Yan Xiao, Xinyue Zuo, Lei Xue, Kailong Wang, Jin Song Dong, Ivan Beschastnikh

CoRR, 2023