TY  - RPRT
TI  - CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
AU  - Zhongyuan Peng
AU  - Yifan Yao
AU  - Kaijing Ma
AU  - Shuyue Guo
AU  - Yizhe Li
AU  - Yichi Zhang
AU  - Chenchen Zhang
AU  - Yifan Zhang
AU  - Zhouliang Yu
AU  - Luming Li
AU  - Minghao Liu
AU  - Yihang Xia
AU  - Jiawei Shen
AU  - Yuchen Wu
AU  - Yixin Cao
AU  - Zhaoxiang Zhang
AU  - Wenhao Huang
AU  - Jiaheng Liu
AU  - Ge Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2507.06181
ID  - 2507.06181
ER  -