Zeyu Zheng

zeyu-zheng's activity

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

authored a paper 29 days ago

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

Paper • 2512.17260 • Published Dec 19, 2025 • 52

liked a model 5 months ago

ByteDance-Seed/BFS-Prover-V2-7B

Text Generation • 8B • Updated Oct 9, 2025 • 83 • 6

upvoted a collection 5 months ago

BFS-Prover

Collection

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

New activity in ByteDance-Seed/BFS-Prover-V2-7B 5 months ago

Update README.md

#1 opened 5 months ago by

zeyu-zheng

New activity in ByteDance-Seed/BFS-Prover-V2-32B 5 months ago

Update README.md

#1 opened 5 months ago by

zeyu-zheng

liked a model 5 months ago

ByteDance-Seed/BFS-Prover-V2-32B

Text Generation • 33B • Updated Oct 9, 2025 • 63 • 12

upvoted a paper 5 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

authored a paper 6 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 9 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