--- title: "Zhaoyu Li — author profile and papers — Elamur Research" description: "Zhaoyu Li, The University of Western Australia: 4 papers on Elamur Research (2024–2025), h-index 26 — affiliations, topics, co-authors and…" canonical: "https://research.elamur.ai/free/en/authors/zhaoyu-li/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/zhaoyu-li/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Zhaoyu Li # Zhaoyu Li Zhaoyu Li has 4 papers in our library, in 2024–2025, 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 [Kaiyu Yang](https://md.research.elamur.ai/free/en/authors/kaiyu-yang/), [Xian Zhang](https://md.research.elamur.ai/free/en/authors/xian-zhang/), [Xujie Si](https://md.research.elamur.ai/free/en/authors/xujie-si/). 4 papers in our library · 2024–2025 [OpenAlex](https://openalex.org/A5100726724) · [ORCID](https://orcid.org/0000-0002-1136-2758) · [Wikidata](https://www.wikidata.org/wiki/Q43123221) · [**h-index 26**](https://openalex.org/authors/A5100726724) · [91 works](https://openalex.org/works?filter=author.id:A5100726724) · [4,367 citations](https://openalex.org/works?filter=author.id:A5100726724&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 4 works in our library](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/#papers) · [🔗 Cited 88 times in our library](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/cited-by/) · [⭐ Paper Stars ranking: #8421](https://md.research.elamur.ai/free/en/paper-stars/page/85/#star-8421) 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=Zhaoyu+Li) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Zhaoyu+Li) · [dblp](https://dblp.org/search?q=Zhaoyu+Li) · [ACL Anthology](https://aclanthology.org/search/?q=Zhaoyu+Li) ## Affiliations [🎓**The University of Western Australia** Perth · Australia 2023–2026 · 7 papersEmployment until 2026*current*](https://md.research.elamur.ai/free/en/universities/the-university-of-western-australia/) · [🎓**Hebei University of Technology** Tianjin · China 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/universities/hebei-university-of-technology/) · [🏥**Mayo Clinic in Florida** Jacksonville · United States 2012–2019 · 11 papersEmployment since 2012 · Assistant Professor, Cancer Biology](https://ror.org/03zzw1w08) · [🏥**Mayo Clinic Comprehensive Cancer Center (Florida)** Jacksonville 2015–2019 · 9 papers](https://ror.org/007q04248) · [🎓**University of Pennsylvania** Philadelphia · United States 2007–2014 · 9 papersEducation 2007–2012 · Postdoc, GeneticsEmployment 2012 · Instructor, Genetics](https://md.research.elamur.ai/free/en/universities/university-of-pennsylvania/) · [🎓**University of Alberta** Edmonton · Canada 2001–2011 · 9 papersEducation 2001–2006 · Ph.D., Biochemistry](https://md.research.elamur.ai/free/en/universities/university-of-alberta/) · [🏛️**Canadian Institutes of Health Research** Ottawa · Canada 2006–2007 · 5 papers](https://ror.org/01gavpb45) · [🎓**University of Missouri** Columbia · United States 2017–2021 · 4 papers](https://ror.org/02ymw8z06) · [🔬**Mayo Clinic** Rochester · United States 2016–2018 · 4 papers](https://md.research.elamur.ai/free/en/labs/mayo-clinic/) · [🎓**Capital Medical University** Beijing · China 2023–2025 · 3 papers](https://md.research.elamur.ai/free/en/universities/capital-medical-university/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 25 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 3 The field of science this work belongs to (OpenAlex fields).[Computer Science · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) 🧭 Topics 2 Research subjects and languages the work is about.[Reasoning · 4 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 [**2025** 1 paper](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/year/2025/) · [**2024** 3 papers](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[A Survey on Deep Learning for Theorem Proving](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)** *(2024 · 46 citations)* Research applying neural methods, and especially large language models, to mathematical proof has grown quickly. 2. **[Autoformalizing Euclidean Geometry](https://md.research.elamur.ai/free/en/papers/murphy-2024-autoformalizing-euclidean-geometry/)** *(2024 · 23 citations)* The paper addresses autoformalization, which means converting human-written mathematics into statements and proofs that a machine can check. 3. **[Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency](https://md.research.elamur.ai/free/en/papers/li-2024-autoformalize-mathematical-statements-symbolic-equivalence/)** *(2024 · 19 citations)* The paper addresses a weakness in LLM-based autoformalization, the task of turning natural-language math statements into formal theorems (here, Isabelle/HOL). 4. **[Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/)** *(2025 · 11 citations)* The paper tackles automated formal proving of elementary algebraic inequalities from math Olympiads. Pure LLM provers struggle because formal proof data is scarce and the tactic space is huge. Symbolic methods such as cylindrical algebraic decomposition scale poorly and give opaque, non-readable proofs. The authors… ## Co-authors here 11 co-authors with a page, the most papers together first. - [Kaiyu Yang](https://md.research.elamur.ai/free/en/authors/kaiyu-yang/) ×3 - [Xian Zhang](https://md.research.elamur.ai/free/en/authors/xian-zhang/) ×3 - [Xujie Si](https://md.research.elamur.ai/free/en/authors/xujie-si/) ×3 - [Zenan Li](https://md.research.elamur.ai/free/en/authors/zenan-li/) ×3 - [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/) ×2 - [Jialiang Sun](https://md.research.elamur.ai/free/en/authors/jialiang-sun/) ×2 - [Logan Murphy](https://md.research.elamur.ai/free/en/authors/logan-murphy/) ×2 - [Xiaoxing Ma](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/) ×2 - [Anima Anandkumar](https://md.research.elamur.ai/free/en/authors/anima-anandkumar/) - [Yifan Wu](https://md.research.elamur.ai/free/en/authors/yifan-wu/) - [Yuan Yao](https://md.research.elamur.ai/free/en/authors/yuan-yao/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2024](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2024/) ## Cited by Papers of our library cite their works 88 times (of the 149,439 papers whose bibliographies we read); [31 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/cited-by/). Updated 4 November 2026