@misc{indiciaea1e3d9452189,
  title = {MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data},
  author = {Yinya Huang and Xiaohan Lin and Zhengying Liu and Qingxing Cao and Huajian Xin and Haiming Wang and Zhenguo Li and Linqi Song and Xiaodan Liang},
  year = {2024},
  url = {https://arxiv.org/abs/2402.08957},
  note = {Source identifier: 2402.08957}
}