--- title: "Jianyuan Zhong — author profile and papers · Reasoning" description: "Jianyuan Zhong, Chinese University of Hong Kong: 2 papers on Elamur Research (2025–2026), h-index 8 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/jianyuan-zhong/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jianyuan-zhong/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Jianyuan Zhong # Jianyuan Zhong Jianyuan Zhong has 2 papers in our library, in 2025–2026, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Haoxiong Liu](https://md.research.elamur.ai/free/en/authors/haoxiong-liu/), [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/), [Roozbeh Yousefzadeh](https://md.research.elamur.ai/free/en/authors/roozbeh-yousefzadeh/). 2 papers in our library · 2025–2026 [OpenAlex](https://openalex.org/A5063943539) · [ORCID](https://orcid.org/0009-0006-9954-9563) · [**h-index 8**](https://openalex.org/authors/A5063943539) · [11 works](https://openalex.org/works?filter=author.id:A5063943539) · [1,602 citations](https://openalex.org/works?filter=author.id:A5063943539&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/jianyuan-zhong/#papers) · [🔗 Cited 66 times in our library](https://md.research.elamur.ai/free/en/authors/jianyuan-zhong/cited-by/) · [1 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #12037](https://md.research.elamur.ai/free/en/paper-stars/page/121/#star-12037) 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=Jianyuan+Zhong) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Jianyuan+Zhong) · [dblp](https://dblp.org/search?q=Jianyuan+Zhong) · [ACL Anthology](https://aclanthology.org/search/?q=Jianyuan+Zhong) ## Affiliations [🎓**Chinese University of Hong Kong** Hong Kong · China 2024–2025 · 3 papers*current*](https://md.research.elamur.ai/free/en/universities/chinese-university-of-hong-kong/) · [🎓**University of Rochester** Rochester · United States 2019–2021 · 4 papers](https://md.research.elamur.ai/free/en/universities/university-of-rochester/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 5 The field of science this work belongs to (OpenAlex fields).[Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2026** 1 paper](https://md.research.elamur.ai/free/en/authors/jianyuan-zhong/year/2026/) · [**2025** 1 paper](https://md.research.elamur.ai/free/en/authors/jianyuan-zhong/year/2025/) ## Papers The most cited first (OpenAlex and our library). 1. **[Mathesis: Towards Formal Theorem Proving from Natural Languages](https://md.research.elamur.ai/free/en/papers/xuejun-2025-mathesis-towards-formal-theorem-proving/)** *(2025 · 9 citations)* Current LLM theorem provers for Lean 4 assume their input is already a formal statement written by an expert. Real problems, however, are stated in natural language. Mathesis targets the full chain from informal problem to verified proof. Its pipeline has three stages: 2. **[Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier](https://md.research.elamur.ai/free/en/papers/zhong-2026-solve-detect-verify-inference-time/)** *(2026 · 1 citation)* Step-by-step reasoning in LLMs creates a cost problem. Solvers keep generating text after they already have an answer, and checking their work is expensive. Process-based verifiers such as GenPRM re-read the context at every step. Cheap "NoThinking"-style checks are fast but flag many false positives. ## All works 3 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them. 1. **[UR-FUNNY: A Multimodal Language Dataset for Understanding Humor ↗](https://aclanthology.org/D19-1211/) Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP) · no summary yet**Md Kamrul Hasan et al.*2019 · 213 citations* 2. [**Mathesis: Towards Formal Theorem Proving from Natural Languages arXiv:2506.07047**Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/xuejun-2025-mathesis-towards-formal-theorem-proving/) 3. **[Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier](https://md.research.elamur.ai/free/en/papers/zhong-2026-solve-detect-verify-inference-time/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianyuan Zhong, Zeju Li, Zhijian Xu, et al.*2026 · 1 citation* ## Co-authors here 6 co-authors with a page, the most papers together first. - [Haoxiong Liu](https://md.research.elamur.ai/free/en/authors/haoxiong-liu/) - [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/) - [Roozbeh Yousefzadeh](https://md.research.elamur.ai/free/en/authors/roozbeh-yousefzadeh/) - [Xiangyu Wen](https://md.research.elamur.ai/free/en/authors/xiangyu-wen/) - [Zhijian Xu](https://md.research.elamur.ai/free/en/authors/zhijian-xu/) - [Zijin Feng](https://md.research.elamur.ai/free/en/authors/zijin-feng/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [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/) - Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP) ## Cited by Papers of our library cite their works 66 times (of the 149,439 papers whose bibliographies we read); [14 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/jianyuan-zhong/cited-by/). Updated 3 November 2026