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 4 days 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 3 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
View all activity

Organizations

None yet

upvoted a paper 4 days ago

Turing Test on Screen: A Benchmark for Mobile GUI Agent Humanization

Paper • 2604.09574 • Published Feb 24 • 30
upvoted a collection 6 months ago

BFS-Prover

Collection
LLM Step-Provers in Lean4 • 5 items • Updated Oct 7, 2025 • 7
upvoted 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
upvoted 2 papers 11 months ago

ARIA: Training Language Agents with Intention-Driven Reward Aggregation

Paper • 2506.00539 • Published May 31, 2025 • 30

UNCLE: Uncertainty Expressions in Long-Form Generation

Paper • 2505.16922 • Published May 22, 2025 • 3
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs