EvolProver: Advancing Automated theorem proving by Evolving Formalized Problems via Symmetry and Difficulty - Tian, Yuchen; Huang, Ruiyuan; WANG, Xuanwu; Ma, Jing; Huang, Zengfeng; Luo, Ziyang; Lin, Hongzhan; Zheng, Da; Du, Lun (International Conference on Learning Representations, 2026)