TY  - RPRT
TI  - HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
AU  - Yang Li
AU  - Dong Du
AU  - Linfeng Song
AU  - Chen Li
AU  - Weikang Wang
AU  - Tao Yang
AU  - Haitao Mi
PY  - 2025
UR  - https://arxiv.org/abs/2412.20735
ID  - 2412.20735
ER  -