OpenReview.net
  • Login

Qihao Zhu

PhD student, Peking University, Tsinghua University

  • Joined December 2019

Names

Qihao Zhu
  • Suggest Name

Emails

****@pku.edu.cn (Confirmed)
  • Suggest Email

Personal Links

Homepage
Google Scholar
DBLP
  • Suggest URL

Career & Education History

PhD student
Peking University, Tsinghua University (pku.edu.cn)
2019 – 2025
 
  • Suggest Position

Advisors, Relations & Conflicts

PhD Advisor
Yingfei Xiong
2017 – 2025
 
PhD Advisor
Lu Zhang
2017 – 2025
 
  • Suggest Relation

Expertise

Software Engineering
2017 – 2025
 
  • Suggest Expertise

Publications

  • DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

    Huajian Xin, Z.Z. Ren, Junxiao Song, Zhihong Shao, Wanjia Zhao, Haocheng Wang, Bo Liu, Liyue Zhang, Xuan Lu, Qiushi Du, Wenjun Gao, Haowei Zhang, Qihao Zhu, Dejian Yang, Zhibin Gou, Z.F. Wu, Fuli Luo, Chong Ruan
    • ICLR 2025 Poster
    • Readers: Everyone
  • Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

    Huajian Xin, Daya Guo, Zhihong Shao, Z.Z. Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang
    • MATH-AI 24
    • Readers: Everyone
  • A Grammar-Based Structural CNN Decoder for Code Generation.

    Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang
    • 2019 (modified: 10 Nov 2022)
    • AAAI2019
    • Readers: Everyone

Co-Authors

  • Bo Liu
  • Chong Ruan
  • Daya Guo
  • Dejian Yang
  • Fuli Luo
  • Ge Li
  • Haocheng Wang
  • Haowei Zhang
  • Huajian Xin
  • Junxiao Song
  • Lili Mou
  • Liyue Zhang
  • Lu Zhang
  • Qiushi Du
  • Wanjia Zhao
  • Wenda Li
  • Wenjun Gao
  • Xiaodan Liang
  • Xuan Lu
  • Yingfei Xiong
  • Z.F. Wu
  • Z.Z. Ren
  • Zeyu Sun
  • Zhibin Gou
  • Zhihong Shao
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • Frequently Asked Questions
  • Terms of Use
  • Privacy Policy
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • Frequently Asked Questions
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview