Rongchuan Liu

Joined

May 2025

Names

Rongchuan Liu (Preferred)

Emails

****@student.ethz.ch (Confirmed)

Personal Links

Career & Education History

Undergrad student

Computer Science, ETHZ - ETH Zurich (ethz.ch)

2022 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Terry Jingchen Zhang, Wenyuan Jiang, Rongchuan Liu, Yisong Wang, Ning Wang, Junran Yang, Yinya Huang, Mrinmaya Sachan
- AI4Math@ICML25 Poster
- Readers: Everyone

Co-Authors