Elamur Research⌕
☰
home / authors / Zhicheng Yang

Zhicheng Yang

Zhicheng Yang has 3 papers in our library, in 2023–2024, most of them on Reasoning, Language models & pretraining, Information retrieval & search; often with Haiming Wang, Jing Tang, Jianqiao Lu.

3 papers in our library · 2023–2024

OpenAlex · ORCID · h-index 8 · 34 works · 160 citations OpenAlex, 2026-10-14

📄 3 works in our library · 🔗 Cited 74 times in our library · ⭐ Paper Stars ranking: #8899

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Sun Yat-sen UniversityGuangzhou · China2019–2026 · 5 paperscurrent🎓Beijing Jiaotong UniversityBeijing · China2025–2026 · 3 paperscurrent🎓Shandong UniversityJinan · China2025–2026 · 2 paperscurrent🏥Changhai HospitalShanghai · China2026 · 1 papercurrent🏥National Clinical Research Center for Digestive DiseasesBeijing · China2026 · 1 papercurrent🎓Second Military Medical UniversityShanghai · China2026 · 1 papercurrent🔬Southern Marine Science and Engineering Guangdong Laboratory (Zhuhai)Zhuhai · China2026 · 1 papercurrent🎓The Hong Kong University of Science and Technology (Guangzhou)Guangzhou · China2023–2025 · 7 papers🎓Peking UniversityBeijing · China2013–2014 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 13 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 8The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArts and Humanities · 2 worksArtificial Intelligence · 3 worksLanguage and Linguistics · 2 worksComputational Theory and Mathematics · 2 worksMathematics · 1 workInformation Systems · 1 workGeometry and Topology · 1 work

🧭 Topics 4Research subjects and languages the work is about.Reasoning · 2 worksEfficient models & compression · 1 workInformation retrieval & search · 1 workLanguage models & pretraining · 1 work

 Works by year

2020s

20242 papers20231 paper

 Papers

The most cited first (OpenAlex and our library).

  1. Process-Driven Autoformalization in Lean 4 (2024 · 33 citations)
    Translating natural-language mathematics into formal code (autoformalization) has mostly been studied for languages with large online corpora, such as Lean 3. The newer and fast-changing Lean 4 lacks suitable training and evaluation data. The authors address this with two contributions.
  2. DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning (2023 · 27 citations)
    The order and choice of demonstrations in a prompt strongly affect how well large language models solve multi-step reasoning problems.
  3. Proving Theorems Recursively (2024 · 19 citations)
    Neural theorem provers usually build proofs one step at a time. A language model proposes the next tactic, and a search procedure ranks candidates with local scores such as log-probability, value estimates, or PUCT. These myopic signals often send the search into irrelevant intermediate goals, which makes long proofs…

 Co-authors here

12 of 22 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 74 times (of the 149,439 papers whose bibliographies we read); 32 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/zhicheng-yang/