TY  - RPRT
TI  - EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
AU  - Yuchen Tian
AU  - Ruiyuan Huang
AU  - Xuanwu Wang
AU  - Jing Ma
AU  - Zengfeng Huang
AU  - Ziyang Luo
AU  - Hongzhan Lin
AU  - Da Zheng
AU  - Lun Du
PY  - 2025
UR  - https://arxiv.org/abs/2510.00732
ID  - 2510.00732
ER  -