TY  - RPRT
TI  - Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
AU  - Shaonan Wu
AU  - Shuai Lu
AU  - Yeyun Gong
AU  - Nan Duan
AU  - Ping Wei
PY  - 2025
UR  - https://arxiv.org/abs/2410.15748
ID  - 2410.15748
ER  -