pith. sign in

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