Xuanwu, Wang

1 publications

ICLR 2026 EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty Yuchen Tian, Ruiyuan Huang, Wang Xuanwu, Jing Ma, Zengfeng Huang, Ziyang Luo, Hongzhan Lin, Da Zheng, Lun Du