Junran Yang

Identifiers

• name variant Junran Yang 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 #5

Mentions

• 2508.15878 #5 · arxiv_oai · confidence 0.70 Junran Yang

Frequent Coauthors

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