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

  • Log In
  • Sign Up
Tianyang Zhan's picture
4

Tianyang Zhan

Neptune233
hanwenzhu's profile picture Aanuoluwapo65's profile picture
·

AI & ML interests

Math reasoning NLG

Recent Activity

authored a paper 2 days ago
SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
authored a paper 2 days ago
Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning
authored a paper 2 days ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
View all activity

Organizations

None yet

authored 5 papers 2 days ago

SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines

Paper • 2502.14739 • Published Feb 20 • 106

Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning

Paper • 2504.13914 • Published Apr 10 • 4

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31 • 114

StructVRM: Aligning Multimodal Reasoning with Structured and Verifiable Reward Models

Paper • 2508.05383 • Published Aug 7

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

Paper • 2512.17260 • Published 9 days ago • 48
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs