Elamur Research⌕
☰
home / authors / Jin Peng Zhou

Jin Peng Zhou

Jin Peng Zhou has 2 papers in our library, in 2022–2025, most of them on Reasoning; often with Albert Q. Jiang, Fei Sha, Guillaume Lample.

2 papers in our library · 2022–2025

OpenAlex · ORCID · h-index 24 · 267 works · 2,648 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 224 times in our library · 2 more in our library without a page yet · ⭐ Paper Stars ranking: #5852

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

🎓Cornell UniversityIthaca · United States2022–2026 · 17 paperscurrent🎓Shandong Women’s UniversityJinan · China2024–2026 · 6 paperscurrent🎓Jiangsu Second Normal UniversityNanjing · China2008–2026 · 5 paperscurrent🎓University of JinanJinan · China2005–2025 · 67 papers🎓Nanjing UniversityNanjing · China1994–2025 · 30 papers🔬Institute of Basic Medical Sciences of the Chinese Academy of Medical SciencesBeijing2022–2025 · 11 papers🏛️Chinese Academy of SciencesBeijing · China2007–2024 · 11 papers🏢Signal ProcessingRockville · United States2011–2018 · 11 papers🎓University of MacauMacao · China2011–2017 · 10 papers🎓Arizona State UniversityTempe · United States2005–2010 · 10 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 40 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 6The field of science this work belongs to (OpenAlex fields).Artificial Intelligence · 2 worksComputer Science · 2 worksComputational Theory and Mathematics · 1 workMathematics · 1 workArts and Humanities · 1 workLanguage and Linguistics · 1 work

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 1 work

 Works by year

2020s

20251 paper20221 paper

 Papers

The most cited first (OpenAlex and our library).

  1. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs (2022 · 178 citations)
    Formal proofs that a proof assistant can check are expensive to write, so there is little training data for neural provers.
  2. Graders Should Cheat: Privileged Information Enables Expert-Level Automated Evaluations (2025 · 3 citations)
    Using a language model to grade other models is cheap, but it breaks down on frontier tasks such as Olympiad math or graduate-level physics.

All works

4 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. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
  2. Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization ↗arXiv:2403.18120 · no summary yetJin Peng Zhou et al.2024 · 45 citations
  3. Magnushammer: A Transformer-Based Approach to Premise Selection ↗arXiv:2303.04488 · no summary yetMaciej Mikuła et al.2023 · 35 citations
  4. Graders Should Cheat: Privileged Information Enables Expert-Level Automated EvaluationsConference on Empirical Methods in Natural Language Processing (EMNLP)Jin Peng Zhou, Séb Arnold, Nan Ding, et al.2025 · 3 citations

 Co-authors here

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

Updated

↑ back to top

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