Zeyu Zheng

zeyu-zheng's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper about 1 month ago

The Problem Is the Problem: Towards Scalable Mathematical Discovery

Paper • 2608.16977 • Published Aug 17 • 5

upvoted a paper 5 months ago

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

Paper • 2604.09574 • Published Feb 24 • 31

upvoted a collection 12 months ago

BFS-Prover

Collection

LLM Step-Provers in Lean4 • 5 items • Updated Oct 7, 2025 • 9

upvoted a paper 12 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 • 13

upvoted 2 papers over 1 year 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