Rongchuan Liu

Identifiers

• name variant Rongchuan Liu 0.60 · backfill

Papers (1)

1. Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs cs.LO · 2025 · author #3

Mentions

• 2508.15878 #3 · arxiv_oai · confidence 0.70 Rongchuan Liu

Frequent Coauthors

• Junran Yang 1 shared papers
• Mrinmaya Sachan 1 shared papers
• Nicole Ni 1 shared papers
• Ning Wang 1 shared papers
• Terry Jingchen Zhang 1 shared papers
• Wenyuan Jiang 1 shared papers
• Yinya Huang 1 shared papers
• Yisong Wang 1 shared papers