Zhile Ren

1
papers
134
total citations

papers (1)

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

ICLR 2025arXiv
134
citations