Zheng Yuan

Zheng Yuan on Hugging Face Daily Papers: 5 papers, 1 in the top 3 of their day, 244 upvotes.

1. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience 48 upvotes, #5 of 2025-12-22
2. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving 103 upvotes, #1 of 2025-08-01
3. Routing to the Expert: Efficient Reward-guided Ensemble of Large Language Models 13 upvotes, #5 of 2023-11-16
4. Qwen Technical Report 39 upvotes, #4 of 2023-09-29
5. Scaling Relationship on Learning Mathematical Reasoning with Large Language Models 23 upvotes, #4 of 2023-08-04

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.