Zeyu Zheng

Zeyu Zheng on Hugging Face Daily Papers: 3 papers, 0 in the top 3 of their day, 109 upvotes.

1. In-Context Reinforcement Learning for Tool Use in Large Language Models 39 upvotes, #5 of 2026-03-12
2. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience 48 upvotes, #5 of 2025-12-22
3. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers 10 upvotes, #13 of 2025-09-09

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.