OpenReview.net
  • Login

Z.Z. Ren

Researcher, DeepSeek

  • Joined May 2024

Names

Z.Z. Ren (Preferred)
  • Suggest Name

Emails

****@deepseek.com (Confirmed)
  • Suggest Email

Personal Links

Homepage
  • Suggest URL

Career & Education History

Researcher
DeepSeek (deepseek.com)
2024 – Present
 
  • Suggest Position

Advisors, Relations & Conflicts

No relations added

  • Suggest Relation

Expertise

No areas of expertise listed

  • 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

Co-Authors

  • Bo Liu
  • Chong Ruan
  • Daya Guo
  • Dejian Yang
  • Fuli Luo
  • Haocheng Wang
  • Haowei Zhang
  • Huajian Xin
  • Junxiao Song
  • Liyue Zhang
  • Qihao Zhu
  • Qiushi Du
  • Wanjia Zhao
  • Wenda Li
  • Wenjun Gao
  • Xiaodan Liang
  • Xuan Lu
  • Z.F. Wu
  • Zhibin Gou
  • Zhihong Shao
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Join the Team
  • Frequently Asked Questions
  • Terms of Use
  • Privacy Policy
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • Join the Team
  • Frequently Asked Questions
  • Contact
  • 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