Elamur Research⌕
☰
home / authors / Zihao Zhou

Zihao Zhou

Zihao Zhou has 2 papers in our library, in 2026, most of them on Language models & pretraining, Reasoning; often with Jia Li, Jiawei Liu, Junqi Liu.

2 papers in our library · 2026

OpenAlex · ORCID · h-index 10 · 41 works · 280 citations OpenAlex, 2026-10-14

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

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

🎓Hainan UniversityHaikou · China2025–2026 · 2 paperscurrent🎓South China University of TechnologyGuangzhou · China2020–2024 · 8 papers🔬Tsinghua–Berkeley Shenzhen InstituteShenzhen · China2020–2022 · 5 papers🎓Wuhan University of TechnologyWuhan · China2023–2024 · 4 papers🎓Taiyuan University of TechnologyTaiyuan · China2021–2022 · 3 papers🎓Tsinghua Shenzhen International Graduate SchoolShenzhen · China2020–2022 · 3 papers🎓Tsinghua UniversityBeijing · China2020–2022 · 3 papers🎓National University of Defense TechnologyChangsha · China2024–2025 · 2 papers🎓Sun Yat-sen UniversityGuangzhou · China2024 · 2 papers🎓University of California San DiegoSan Diego · United States2024 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 10 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).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 1 workArts and Humanities · 1 workComputer Vision and Pattern Recognition · 1 workLanguage and Linguistics · 1 workSignal Processing · 1 work

🧭 Topics 2Research subjects and languages the work is about.Reasoning · 1 workLanguage models & pretraining · 1 work

 Works by year

2020s

20262 papers

 Papers

The most cited first (OpenAlex and our library).

  1. Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics (2026 · 15 citations)
    Recent agentic systems for formal theorem proving perform well, but they often depend on custom pipelines and specially trained provers, and many are closed-source.
  2. CaTS-Bench: Can Language Models Describe Time Series? (2026 · 1 citation)
    Time series captioning (TSC) means producing natural-language descriptions of numeric sequences. Existing benchmarks for it mostly rely on synthetic or template-like captions and rarely include metadata or plots. CaTS-Bench addresses this gap with a multimodal benchmark built from 11 real-world source datasets…

 Co-authors here

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

Updated

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