Elamur Research⌕
☰
home / authors / Zihan Qin

Zihan Qin

Zihan Qin has 2 papers in our library, in 2024, most of them on Reasoning, Information retrieval & search; often with Bin Dong, Guoxiong Gao, Jiedong Jiang.

2 papers in our library · 2024

OpenAlex · h-index 3 · 13 works · 15 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 44 times in our library · ⭐ Paper Stars ranking: #9814

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

🎓Capital Medical UniversityBeijing · China2024–2026 · 6 paperscurrent🏥National Clinical Research Center for Digestive DiseasesBeijing · China2024–2026 · 6 paperscurrent🏥Beijing Friendship HospitalBeijing · China2024–2026 · 5 paperscurrent🔬State Key Laboratory of Oncology in South ChinaGuangzhou2026 · 1 papercurrent🏥Sun Yat-sen University Cancer CenterGuangzhou · China2026 · 1 papercurrent🎓Harbin Institute of TechnologyHarbin · China2024–2025 · 2 papers🎓Peking UniversityBeijing · China2024 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution on single bylines are not listed.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 6The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksArts and Humanities · 1 workLanguage and Linguistics · 1 workInformation Systems · 1 work

🧭 Topics 2Research subjects and languages the work is about.Information retrieval & search · 1 workReasoning · 1 work

💡 Concepts 1Key ideas and methods explained on our concept pages.Inverted index · 1 work

 Works by year

2020s

20242 papers

 Papers

The most cited first (OpenAlex and our library).

  1. Herald: A Natural Language Annotated Lean 4 Dataset (2024 · 33 citations)
    Training LLMs to translate mathematics between natural language and Lean 4 is limited by a shortage of aligned natural-language/formal (NL-FL) pairs.
  2. A Semantic Search Engine for Mathlib4 (2024 · 14 citations)
    Finding a needed theorem in mathlib4, the Lean 4 mathematical library, is hard for anyone who doesn't know its naming conventions.

 Co-authors here

6 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 44 times (of the 149,439 papers whose bibliographies we read); 13 citing papers with a page here →.

Updated

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