​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 Generation, AI + Blockchain.

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

• SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair.
  Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao, Lei Xue, Xiapu Luo, Xiao-Ming Wu [arXiv 2503.01098]

• 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]