🧑🔬 Han Shi — papers of 2023 — 2 papers, the most cited first2 papers · all years of Han ShiMetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citationsLEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/han-shi/year/2023/