%0 Journal Article %1 journals/corr/abs-2402-08957 %A Huang, Yinya %A Lin, Xiaohan %A Liu, Zhengying %A Cao, Qingxing %A Xin, Huajian %A Wang, Haiming %A Li, Zhenguo %A Song, Linqi %A Liang, Xiaodan %D 2024 %J CoRR %K dblp %T MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. %U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-08957 %V abs/2402.08957

@article{journals/corr/abs-2402-08957, added-at = {2024-02-19T00:00:00.000+0100}, author = {Huang, Yinya and Lin, Xiaohan and Liu, Zhengying and Cao, Qingxing and Xin, Huajian and Wang, Haiming and Li, Zhenguo and Song, Linqi and Liang, Xiaodan}, biburl = {https://www.bibsonomy.org/bibtex/29e9bec3bed5b56b8ff6a871adc466788/dblp}, ee = {https://doi.org/10.48550/arXiv.2402.08957}, interhash = {fa2c10a5f93cfc605ff4bdfb702b434e}, intrahash = {9e9bec3bed5b56b8ff6a871adc466788}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:15:36.000+0200}, title = {MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-08957}, volume = {abs/2402.08957}, year = 2024 }