@misc{indiciaeea5a6cae6b6a,
  title = {Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs},
  author = {Terry Jingchen Zhang and Wenyuan Jiang and Rongchuan Liu and Yisong Wang and Junran Yang and Ning Wang and Nicole Ni and Yinya Huang and Mrinmaya Sachan},
  year = {2026},
  url = {https://arxiv.org/abs/2508.15878},
  note = {Source identifier: 2508.15878}
}