TY  - RPRT
TI  - Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
AU  - Huaiyuan Ying
AU  - Zijian Wu
AU  - Yihan Geng
AU  - Zheng Yuan
AU  - Dahua Lin
AU  - Kai Chen
PY  - 2025
UR  - https://arxiv.org/abs/2406.03847
ID  - 2406.03847
ER  -