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

  • Log In
  • Sign Up
Zhong's picture
2 3

Zhong

Jianyuan1
zeju-0727's profile picture
·
  • [email protected]

AI & ML interests

None yet

Recent Activity

updated a model 8 days ago
Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
published a model 8 days ago
Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
updated a model 10 days ago
Jianyuan1/dyve-0424-lora
View all activity

Organizations

CURE's profile picture

Jianyuan1's activity

upvoted 3 papers 3 months ago

Dyve: Thinking Fast and Slow for Dynamic Process Verification

Paper • 2502.11157 • Published Feb 16 • 7

Diverse Inference and Verification for Advanced Reasoning

Paper • 2502.09955 • Published Feb 14 • 18

Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention

Paper • 2502.11089 • Published Feb 16 • 157
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs