APA (7th ed.) Citation

Wu, S., Lu, S., Gong, Y., Duan, N., & Wei, P. (2024). Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Wu, Shaonan, et al. Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation. 2024.