TY  - RPRT
TI  - Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
AU  - Terry Jingchen Zhang
AU  - Wenyuan Jiang
AU  - Rongchuan Liu
AU  - Yisong Wang
AU  - Junran Yang
AU  - Ning Wang
AU  - Nicole Ni
AU  - Yinya Huang
AU  - Mrinmaya Sachan
PY  - 2026
UR  - https://arxiv.org/abs/2508.15878
ID  - 2508.15878
ER  -