EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty. - Yuchen Tian; Ruiyuan Huang; Xuanwu Wang; Jing Ma 004; Zengfeng Huang; Ziyang Luo; Hongzhan Lin 001; Da Zheng 004; Lun Du (CoRR, 2025)