I am Yuechun Sun, a third-year undergraduate at the School of the Gifted Young, University of Science and Technology of China, majoring in Data Science and Big Data Technology. I am currently advised by Prof. Kexin Pei (University of Chicago) and Prof. Lan Zhang (University of Science and Technology of China). My research interests include Artificial Intelligence, Programming Language, and Inference.

🔥 News

2026.01: 🎉🎉 Awarded the SGY Class of 87 Innovation Scholarship, one of only three recipients in the School of the Gifted Young.
2025.10: 🎉🎉 Awarded the Yanbao Scholarship, one of only ten recipients in the School of the Gifted Young.

📝 Publications

Yuechun Sun, Jun Yang, Kexin Pei, “Curriculum proof repair with learned counterexamples”, Under Review, 2026. [PDF]
Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song, “Verify0: Can AI Agents Build Formally Verified Software Repositories?”, Under Review, 2026.
Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Shan Lu, Kexin Pei, “ExVerus: Verus Proof Repair via Counterexamples Reasoning”, in the Forty-Third International Conference on Machine Learning, ICML2026 [PDF]
Yuechun Sun, Shengxue Li, Mu Yuan, Lan Zhang “PURE: Efficient Update-Aware Inference via Uncertainty Prediction-Based Input Filtering”, Under Review, 2026. [PDF]
Yuechun Sun, Mu Yuan, Lan Zhang, “Don’t Recompute It All: Taming Model Update Overheads in Mobile AI Systems”, in ACM Workshop on Access Networks with Artificial Intelligence at the International Conference on Mobile Computing and Networking, ANAI@MobiCom2025
Tuo Zhang*, Yuechun Sun*, Ruiliang Liu, “Provenance Analysis of Archaeological Artifacts via Multimodal RAG Systems”, in ArtMetrics Workshop at the International Conference on Computer Vision, ArtMetrics@ICCV2025

🎖 Honors and Awards

2026.01 SGY Class of 87 Innovation Scholarship (top 0.3%)
2025.10 Yanbao Scholarship (top 1%)
2024.11 Silver Medal, ICPC (International Collegiate Programming Contest)
2024.11 Silver Medal, CCPC (China Collegiate Programming Contest)
2024.09 Provincial First Prize, China Undergraduate Mathematical Contest in Modeling (CUMCM)
2022.11 First Prize, Chinese Mathematical Olympiad in Senior
2022.11 First Prize, NOIP (National Olympiad in Informatics in Provinces)

📖 Educations

2023.09 - Present, Undergraduate, University of Science and Technology of China.

💻 Internships

2025.07 - 2025.09, Intern at the University of Chicago, advised by Prof. Kexin Pei.