About Me

I am a PhD student at Nanjing University, advised by Prof. Xiaoxing Ma. My research interests include Formal Verification, Deep Learning, and Software Engineering.

Before that, I received my B.Sc. in Computer Science from Lanzhou University in 2024.

---

News

• Mar 2026  —  Started this academic homepage.

---

Publications

2026

• Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
  Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jacob R. Lorch, Yuan Yao, Xiaoxing Ma
  arXiv preprint
  [paper]

---

Honors & Awards

• 2024-2025  —  Several Academic Scholarships , Nanjing University

---

Services

Teaching Assistant

• Discrete Mathematics, Nanjing University (2024)

---

Education & Experience

• Apr. 2025 – present  —  Research Intern, Artificial Intelligence Reasoning Group, Systems and Networking Research Group, Microsoft Research Asia, Beijing, China
  Mentors: Shuai Lu and Tianyu Chen
• Sept. 2024 – present  —  Ph.D. in Software Engineering, Nanjing University, Nanjing, China
  Advisor: Prof. Xiaoxing Ma
• Sept. 2020 – Jun. 2024  —  B.Sc. in Computer Science, Lanzhou University, Lanzhou, China
  Advisor: Prof. Xin Liu