@misc{indiciae30515ed4e5cd,
  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},
  url = {https://arxiv.org/abs/2510.00732},
  note = {Source identifier: 2510.00732}
}