Elamur Research⌕
☰
home / authors / Lei Qi

Lei Qi

Lei Qi has 2 papers in our library, in 2024–2025, most of them on Language models & pretraining, Evaluation & benchmarks, Reasoning; often with Chaoqun He, Di Huang, Jie Liu.

2 papers in our library · 2024–2025

OpenAlex · h-index 9 · 29 works · 258 citations OpenAlex, 2026-10-14

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

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

🎓Shanghai Jiao Tong UniversityShanghai · China2021–2026 · 13 paperscurrent🏥Shanghai Ninth People's HospitalShanghai · China2023–2026 · 9 paperscurrent🎓Qiqihar Medical UniversityQiqihar · China2026 · 1 papercurrent🏛️Chinese Academy of SciencesBeijing · China2023–2025 · 4 papers🔬Institute of MicrobiologyBeijing · China2023–2025 · 4 papers🎓Wuhan University of TechnologyWuhan · China2024–2025 · 2 papers🔬State Key Laboratory of Microbial ResourcesBeijing2023–2024 · 2 papers🏥Weifang People's HospitalWeifang · China2022–2023 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 11 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 7The field of science this work belongs to (OpenAlex fields).Arts and Humanities · 2 worksComputer Science · 2 worksArtificial Intelligence · 2 worksLanguage and Linguistics · 2 worksComputer Vision and Pattern Recognition · 1 workMathematics · 1 workComputational Theory and Mathematics · 1 work

🧭 Topics 4Research subjects and languages the work is about.Evaluation & benchmarks · 1 workVision & language · 1 workLanguage models & pretraining · 1 workReasoning · 1 work

 Works by year

2020s

20251 paper20241 paper

 Papers

The most cited first (OpenAlex and our library).

  1. OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems (2024 · 456 citations)
    Frontier models now score near the top on older math benchmarks like GSM8K and MATH. With prompting, GPT-4 reaches 97.0% and 84.3% on them. Existing physics and multimodal test sets also tend to be easy, narrow in scope, or text-only. To give harder targets, the authors built OlympiadBench, a bilingual…
  2. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion (2025 · 7 citations)
    Autoformalization means converting natural-language math problems into formal statements, here in Lean 4. Current LLM approaches are still inaccurate. General-purpose models often misuse Lean details, such as calling functions that do not exist. Specialized translators trained on narrow annotated data tend to misread…

 Co-authors here

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

Updated

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