ML Anthology

Wu, Shaonan

1 publications

ICLR 2025 Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation Shaonan Wu, Shuai Lu, Yeyun Gong, Nan Duan, Ping Wei