​Hiii! I am a PhD student at Department of Data Science and Artificial Intelligence, The Hong Kong Polytechnic University (PolyU), under the supervision of Prof. Xiao-Ming Wu.

Prior to that, I obtained my Bachelor degree from Xi’an Jiaotong University (XJTU) under the supervision of Prof. Feng Li.

Research Interests

My research interests lie in Code LLMs.

Previously, during my bachelor’s studies, I worked on photonic spin-orbit coupling.

😊 I am open to collaborations and discussions. Please feel free to contact me.

Publication

• CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation.
  Zaoyu Chen, Jianbo Dai, Boyu Zhu, Jingdong Wang, Huiming Wang, Xin Xu, Haoyang Yuan, Zhijiang Guo, Xiao-Ming Wu [Under Review]

• Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair.
  Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao, Lei Xue, Xiapu Luo, Xiao-Ming Wu [2026 FSE]

• Teaching LLMs According to Their Aptitude: Adaptive Switching Between CoT and TIR for Mathematical Problem Solving. Xin Xu, Yan Xu, Tianhao Chen, Yuchen Yan, Chengwu Liu, Zaoyu Chen, Yufei Wang, Yichun Yin, Yasheng Wang, Qun Liu, Lu Yin [2026 CPAL Oral]

• Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification.
  Chengwu Liu, Ye Yuan, Yichun Yin, Yan Xu, Xin Xu, Zaoyu Chen, Yasheng Wang, Lifeng Shang, Qun Liu, Ming Zhang [2025 ACL]