About Me

Hi! I am a first-year Ph.D. student at Peking University, advised by Prof. Sergey Mechtaev. Previously, I received my B.Eng. degree from Nankai University.

My research interests include Software Engineering and Large Language Models.

Education

Peking University 2025 - Present
Ph.D. in Computer Science
Nankai University 2021 - 2025
Dual Bachelor's Degrees in Information Security (First Major) and Law (Second Major)

Selected Publications

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev
ICSE 2026
Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Yihan Dai, Sijie Liang, Haotian Xu, Peichu Xie, Sergey Mechtaev
under review

News

🎉 One paper accepted to ICSE 2026! Oct 2025