Xinyue Zuo

According to our database, Xinyue Zuo authored at least 7 papers between 2023 and 2026.

Collaborative distances:

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

2026

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair.

Hongshu Wang, Xinyue Zuo, Yuhan Sun, Qin Li, Yamine Aït-Ameur, Jin Song Dong

CoRR, May, 2026

2025

DT4LM: Differential Testing for Reliable Language Model Updates in Classification Tasks.

Xinyue Zuo, Yan Xiao, Xiaochun Cao, Wenya Wang, Jin Song Dong

IEEE Trans. Software Eng., December, 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

PAT-Agent: Autoformalization for Model Checking.

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

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.

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

Proceedings of the Forty-second International Conference on Machine Learning, 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