Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation.

Shaonan Wu, Shuai Lu, Yeyun Gong, Nan Duan, Ping Wei

Browse the full ICLR paper archive.