作者位次 #2/9ICLR 2026Poster· Applications / Everything Else
EvolProver: Advancing Automated theorem proving by Evolving Formalized Problems via Symmetry and Difficulty
Yuchen Tian · Ruiyuan Huang · Xuanwu WANG · Jing Ma · Zengfeng Huang · Ziyang Luo · Hongzhan Lin · Da Zheng · Lun Du
理论与学习动力学OpenReview