Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation - Wu, Shaonan; Lu, Shuai; Gong, Yeyun; Duan, Nan; Wei, Ping (International Conference on Learning Representations, 2025)