Huawei Noah’s Ark Lab; Shenzhen Campus of Sun Yat-sen University; DarkMatter AI Research; City University of Hong Kong
Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
theorem proving;math word problem;mathematical reasoning;benchmark
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data