Zhibin Gou

2

Papers

197

Total Citations

1

Affiliations

Affiliations

Tsinghua University

Papers (2)

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

Key-Point-Driven Data Synthesis with Its Enhancement on Mathematical Reasoning