Zhizhou Ren

Zhizhou Ren on Hugging Face Daily Papers: 1 papers, 1 in the top 3 of their day, 48 upvotes.

1. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data 27 upvotes, #2 of 2024-05-24

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.