Yongwei Yuan

Joined

September 2025

Names

Yongwei Yuan (Preferred)

Emails

****@purdue.edu (Confirmed)

Personal Links

Career & Education History

PhD student

Computer Science, Purdue University (purdue.edu)

2020 – 2025

Advisors, Relations & Conflicts

PhD Advisor

Suresh Jagannathan

Present

Expertise

No areas of expertise listed

Publications

ExVerus: Verus Proof Repair via Counterexample Reasoning
Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, Kexin Pei
- ICML 2026 Workshop DL4C Poster
- Readers: Everyone
ExVerus: Verus Proof Repair via Counterexample Reasoning
Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, Kexin Pei
- ICML 2026 regular
- Readers: Everyone

Co-Authors