Home

About Me

I'm a Ph.D. student at Peking University, majoring in computer science and software engineering. I'm interested in formal verification and LLM-based code generation, currently working with Prof. Xiong.

Education

• 2020.9~2024.7 PKU Bachelor's Degree
• 2024.9~Now PKU Ph.D.

Publication

1. ASAC: A Benchmark for Algorithm Synthesis, Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong. FSE24 DEMO

Award

2021

• Shenzhen Stock Exchange Scholarship(10%)
• Merit Student(10%)

2022

• Award for Scientific Research(20%)

2023

• The Third Prize of Peking University Scholarship(20%)
• Award for Academic Excellents(20%)

2024

• Excellent Graduate of Peking University(10%)

Teaching

• Teaching Assistant for "Introduction to Computer Science" (2022 Fall, Peking University)
• Teaching Assistant for "Introduction to Computing A (Honors Class)" (2024 Fall, Peking University)
• Teaching Assistant for "Software Foundations" (2025 Spring, Peking University)
• Teaching Assistant for "Introduction to Computing A (Honors Class)" (2025 Fall, Peking University)