@article{evolproveradvancingautomatedtheoremprovi,
  title = {EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty},
  author = {Yuchen Tian and Ruiyuan Huang and Xuanwu Wang and Jing Ma and Zengfeng Huang and Ziyang Luo and Hongzhan Lin and Da Zheng and Lun Du},
  year = {2025},
  eprint = {2510.00732},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.00732},
}