Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Zeyu Zheng's picture
2 5 2

Zeyu Zheng

zeyu-zheng
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago
Turing Test on Screen: A Benchmark for Mobile GUI Agent Humanization
authored a paper about 1 month ago
In-Context Reinforcement Learning for Tool Use in Large Language Models
authored a paper 2 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
View all activity

Organizations

None yet

authored a paper about 1 month ago

In-Context Reinforcement Learning for Tool Use in Large Language Models

Paper • 2603.08068 • Published Mar 9 • 43
authored a paper 2 months ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Paper • 2512.17260 • Published Dec 19, 2025 • 52
authored a paper 7 months ago

Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers

Paper • 2509.06493 • Published Sep 8, 2025 • 12
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs