MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
January, 2024
PDF Cite URL Code Coverage Slides Poster
Type
Conference Paper
Publication
The Twelfth International Conference on Learning Representations (ICLR 2024)
Yinya Huang
Yinya Huang