--- title: "Han Shi — author profile and papers — Elamur Research" description: "Han Shi, Microsoft: 2 papers on Elamur Research (2023), h-index 31 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/han-shi/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/han-shi/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Han Shi # Han Shi Han Shi has 2 papers in our library, in 2023, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/); often with [Zhenguo Li](https://md.research.elamur.ai/free/en/authors/zhenguo-li/), [Zhengying Liu](https://md.research.elamur.ai/free/en/authors/zhengying-liu/), [Chuanyang Zheng](https://md.research.elamur.ai/free/en/authors/chuanyang-zheng/). 2 papers in our library · 2023 [OpenAlex](https://openalex.org/A5006300825) · [ORCID](https://orcid.org/0000-0002-0360-6089) · [Wikidata](https://www.wikidata.org/wiki/Q130803434) · [**h-index 31**](https://openalex.org/authors/A5006300825) · [116 works](https://openalex.org/works?filter=author.id:A5006300825) · [2,979 citations](https://openalex.org/works?filter=author.id:A5006300825&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/han-shi/#papers) · [🔗 Cited 717 times in our library](https://md.research.elamur.ai/free/en/authors/han-shi/cited-by/) · [2 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #3659](https://md.research.elamur.ai/free/en/paper-stars/page/37/#star-3659) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Han+Shi) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Han+Shi) · [dblp](https://dblp.org/search?q=Han+Shi) · [ACL Anthology](https://aclanthology.org/search/?q=Han+Shi) ## Affiliations [🏢**Microsoft Research Asia** Beijing · China 2006–2026 · 60 papers*current*](https://md.research.elamur.ai/free/en/companies/microsoft-research-asia/) · [🏢**Microsoft** Redmond · United States 2013–2026 · 19 papers*current*](https://md.research.elamur.ai/free/en/companies/microsoft/) · [🎓**Hong Kong University of Science and Technology** Hong Kong · China 2019–2025 · 8 papers](https://md.research.elamur.ai/free/en/universities/hong-kong-university-of-science-and-technology/) · [🎓**Tsinghua University** Beijing · China 2011–2018 · 6 papers](https://md.research.elamur.ai/free/en/universities/tsinghua-university/) · [🎓**Hangzhou Normal University** Hangzhou · China 2024–2025 · 2 papers](https://ror.org/014v1mr15) · [🎓**Center for Excellence in Molecular Plant Sciences** Shanghai · China 2018–2021 · 2 papers](https://ror.org/04ew43640) · [🏛️**Chinese Academy of Sciences** Beijing · China 2018–2021 · 2 papers](https://md.research.elamur.ai/free/en/government/chinese-academy-of-sciences/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 8 more institutions on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 6 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) 🧭 Topics 2 Research subjects and languages the work is about.[Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Language models & pretraining · 1 work](https://md.research.elamur.ai/free/en/topics/language-models/) ## Works by year ### 2020s [**2023** 2 papers](https://md.research.elamur.ai/free/en/authors/han-shi/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models](https://md.research.elamur.ai/free/en/papers/yu-2023-metamath-bootstrap-your-own-mathematical/)** *(2023 · 565 citations)* Open-source LLMs such as LLaMA-2 lag well behind closed models on multi-step maths word problems. Fine-tuning helps, but it depends on having enough varied training questions. MetaMath addresses this by growing the GSM8K and MATH training sets from the question side as well as the answer side, producing a dataset… 2. **[LEGO-Prover: Neural Theorem Proving with Growing Libraries](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/)** *(2023 · 79 citations)* Formal theorem proving is still hard for large language models. Existing LLM-based provers often fail on competition problems at middle-school level. These "plain" provers write each proof as one long monolithic block and treat the available theorem library as fixed. So a lemma proved for one problem cannot help with… ## All works 4 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them. 1. [**MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models arXiv:2309.12284**Longhui Yu, Weisen Jiang, Han Shi, et al.*2023 · 565 citations*](https://md.research.elamur.ai/free/en/papers/yu-2023-metamath-bootstrap-your-own-mathematical/) 2. [**LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656**Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.*2023 · 79 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/) 3. **[HiTab: A Hierarchical Table Dataset for Question Answering and Natural Language Generation ↗](https://aclanthology.org/2022.acl-long.78/) Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yet**Zhoujun Cheng et al.*2022 · 61 citations* 4. **[FORTAP: Using Formulas for Numerical-Reasoning-Aware Table Pretraining ↗](https://aclanthology.org/2022.acl-long.82/) Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yet**Zhoujun Cheng et al.*2022 · 36 citations* ## Co-authors here 12 of 14 co-authors with a page, the most papers together first. - [Zhenguo Li](https://md.research.elamur.ai/free/en/authors/zhenguo-li/) ×2 - [Zhengying Liu](https://md.research.elamur.ai/free/en/authors/zhengying-liu/) ×2 - [Chuanyang Zheng](https://md.research.elamur.ai/free/en/authors/chuanyang-zheng/) - [Enze Xie](https://md.research.elamur.ai/free/en/authors/enze-xie/) - [Haiming Wang](https://md.research.elamur.ai/free/en/authors/haiming-wang/) - [Huajian Xin](https://md.research.elamur.ai/free/en/authors/huajian-xin/) - [James Tin-Yau Kwok](https://md.research.elamur.ai/free/en/authors/james-tin-yau-kwok/) - [Jian Yin](https://md.research.elamur.ai/free/en/authors/jian-yin/) - [Jincheng Yu](https://md.research.elamur.ai/free/en/authors/jincheng-yu/) - [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/) - [Lin Li](https://md.research.elamur.ai/free/en/authors/lin-li/) - [Qingxing Cao](https://md.research.elamur.ai/free/en/authors/qingxing-cao/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) ×2 - [ACM International Conference on Web Search and Data Mining (WSDM)](https://md.research.elamur.ai/free/en/venues/acm-international-conference-on-web-search-and-data-mining-wsdm/) ## Cited by Papers of our library cite their works 717 times (of the 149,439 papers whose bibliographies we read); [211 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/han-shi/cited-by/). Updated 2 November 2026