Zhihong Shao

Zhihong Shao on Hugging Face Daily Papers: 7 papers, 6 in the top 3 of their day, 897 upvotes.

1. DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning 66 upvotes, #2 of 2025-12-01
2. DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning 271 upvotes, #1 of 2025-01-23
3. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search 48 upvotes, #1 of 2024-08-16
4. Learning Task Decomposition to Assist Humans in Competitive Programming 2 upvotes, #13 of 2024-08-09
5. DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence 53 upvotes, #1 of 2024-06-19
6. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data 27 upvotes, #2 of 2024-05-24
7. DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models 150 upvotes, #1 of 2024-02-06

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.