TY  - RPRT
TI  - MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
AU  - Yinya Huang
AU  - Xiaohan Lin
AU  - Zhengying Liu
AU  - Qingxing Cao
AU  - Huajian Xin
AU  - Haiming Wang
AU  - Zhenguo Li
AU  - Linqi Song
AU  - Xiaodan Liang
PY  - 2024
UR  - https://arxiv.org/abs/2402.08957
ID  - 2402.08957
ER  -