--- title: "Lan Zhang · Clemson University — author profile and papers" description: "Lan Zhang, Clemson University: 4 papers on Elamur Research (2025–2026), h-index 28 — affiliations, topics, co-authors and who cites them…" canonical: "https://research.elamur.ai/free/en/authors/lan-zhang/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/lan-zhang/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Lan Zhang # Lan Zhang Lan Zhang has 4 papers in our library, in 2025–2026, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [Code & programming languages](https://md.research.elamur.ai/free/en/topics/code-and-programming/), [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/); often with [Andre Freitas](https://md.research.elamur.ai/free/en/authors/andre-freitas/), [Jordan Meadows](https://md.research.elamur.ai/free/en/authors/jordan-meadows/), [Marco Valentino](https://md.research.elamur.ai/free/en/authors/marco-valentino/). 4 papers in our library · 2025–2026 [OpenAlex](https://openalex.org/A5100322310) · [ORCID](https://orcid.org/0000-0002-7718-6128) · [**h-index 28**](https://openalex.org/authors/A5100322310) · [291 works](https://openalex.org/works?filter=author.id:A5100322310) · [3,364 citations](https://openalex.org/works?filter=author.id:A5100322310&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 4 works in our library](https://md.research.elamur.ai/free/en/authors/lan-zhang/#papers) · [🔗 Cited 29 times in our library](https://md.research.elamur.ai/free/en/authors/lan-zhang/cited-by/) · [2 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #9874](https://md.research.elamur.ai/free/en/paper-stars/page/99/#star-9874) 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=Lan+Zhang) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Lan+Zhang) · [dblp](https://dblp.org/search?q=Lan+Zhang) · [ACL Anthology](https://aclanthology.org/search/?q=Lan+Zhang) ## Affiliations [🎓**Clemson University** Clemson · United States 2024–2026 · 11 papersEmployment since 2024 · Assistant Professor, Electrical and Computer Engineering*current*](https://md.research.elamur.ai/free/en/universities/clemson-university/) · [🎓**Michigan Technological University** Houghton · United States 2020–2024 · 21 papersEmployment 2020–2023 · Assistant Professor](https://ror.org/0036rpn28) · [🎓**National University of Singapore** Singapore · Singapore 2007–2025 · 14 papers](https://md.research.elamur.ai/free/en/universities/national-university-of-singapore/) · [🎓**University of Science and Technology Beijing** Beijing · China 2009–2021 · 10 papers](https://md.research.elamur.ai/free/en/universities/university-of-science-and-technology-beijing/) · [🎓**Xiamen University** Xiamen · China 2009–2016 · 10 papers](https://md.research.elamur.ai/free/en/universities/xiamen-university/) · [🎓**University of Science and Technology of China** Hefei · China 2016–2024 · 9 papers](https://md.research.elamur.ai/free/en/universities/university-of-science-and-technology-of-china/) · [🎓**Harbin Engineering University** Harbin · China 2019–2025 · 7 papers](https://md.research.elamur.ai/free/en/universities/harbin-engineering-university/) · [🎓**Wuhan Technology and Business University** Wuhan · China 2021–2024 · 7 papers](https://ror.org/0348f9w08) · [🎓**University of Manchester** Manchester · United Kingdom 2023–2025 · 6 papers](https://md.research.elamur.ai/free/en/universities/university-of-manchester/) · [🏢**China Electronics Technology Group Corporation** Beijing · China 2021–2024 · 5 papers](https://ror.org/0098hst83) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 86 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 7 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 · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Computer Networks and Communications · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-networks-and-communications/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) 🧭 Topics 4 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/) · [Code & programming languages · 2 works](https://md.research.elamur.ai/free/en/topics/code-and-programming/) · [Semantic parsing & meaning representation · 1 work](https://md.research.elamur.ai/free/en/topics/semantic-parsing/) ## Works by year ### 2020s [**2026** 2 papers](https://md.research.elamur.ai/free/en/authors/lan-zhang/year/2026/) · [**2025** 2 papers](https://md.research.elamur.ai/free/en/authors/lan-zhang/year/2025/) ## Papers The most cited first (OpenAlex and our library). 1. **[Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/zhang-2025-gold-standards-epistemic-ensemble-llm/)** *(2025 · 5 citations)* Large language models can now translate natural-language mathematical statements into formal code (autoformalization), but checking whether such translations are actually correct is still difficult. 2. **[MASA: LLM-Driven Multi-Agent Systems for Autoformalization](https://md.research.elamur.ai/free/en/papers/zhang-2025-masa-llm-driven-multi-agent/)** *(2025 · 5 citations)* Autoformalization is the task of turning natural-language mathematics into code that theorem provers can check. 3. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/)** *(2026)* Turning informal scientific derivations into machine-checkable code is difficult. Physics adds notation such as Dirac brackets and vector calculus, which Lean's Mathlib barely supports. The authors introduce FormalScience, a domain-agnostic pipeline in which LLM agents generate statements, expand proofs, and repair… 4. **[VET: Verifiable Execution Tracing for Reliable Text-to-SQL Generation](https://md.research.elamur.ai/free/en/papers/wang-2026-vet-verifiable-execution-tracing-reliable/)** *(2026)* LLM-based text-to-SQL systems often hallucinate schema elements, data values or query logic. Their intermediate reasoning is either free text that nothing can check or code that runs only once at the end. VET (Verifiable Execution Tracing) is a training-free framework that replaces textual rationales with a chain of… ## All works 6 works of theirs in our library, the most cited first; 4 with a page here, the others link their original until we summarise them. 1. **[Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions ↗](https://aclanthology.org/2025.emnlp-main.90/) Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing · no summary yet**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 11 citations* 2. **[Consistent Autoformalization for Constructing Mathematical Libraries ↗](https://aclanthology.org/2024.emnlp-main.233/) Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing · no summary yet**Lan Zhang, Xin Quan, Andre Freitas*2024 · 11 citations* 3. [**Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning arXiv:2506.10903**Lan Zhang, Marco Valentino, Jordan Meadows, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-gold-standards-epistemic-ensemble-llm/) 4. **[MASA: LLM-Driven Multi-Agent Systems for Autoformalization](https://md.research.elamur.ai/free/en/papers/zhang-2025-masa-llm-driven-multi-agent/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 5 citations* 5. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jordan Meadows, Lan Zhang, Andre Freitas*2026* 6. **[VET: Verifiable Execution Tracing for Reliable Text-to-SQL Generation](https://md.research.elamur.ai/free/en/papers/wang-2026-vet-verifiable-execution-tracing-reliable/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Dongyu Wang, Jingyu Li, Lan Zhang, et al.*2026* ## Co-authors here 4 co-authors with a page, the most papers together first. - [Andre Freitas](https://md.research.elamur.ai/free/en/authors/andre-freitas/) ×3 - [Jordan Meadows](https://md.research.elamur.ai/free/en/authors/jordan-meadows/) ×2 - [Marco Valentino](https://md.research.elamur.ai/free/en/authors/marco-valentino/) ×2 - [Liang Huang](https://md.research.elamur.ai/free/en/authors/liang-huang/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/) ×3: [EMNLP 2025](https://md.research.elamur.ai/free/en/venues/emnlp/2025/) - [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/): [ACL 2026](https://md.research.elamur.ai/free/en/venues/acl/2026/) - [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/): [Findings of the Association for Computational Linguistics 2026](https://md.research.elamur.ai/free/en/venues/findings/2026/) ## Cited by Papers of our library cite their works 29 times (of the 149,439 papers whose bibliographies we read); [5 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/lan-zhang/cited-by/). Updated 1 November 2026