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 5 days ago
Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
published a model 5 days ago
Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
updated a model 7 days ago
Jianyuan1/dyve-0424-lora
View all activity

Organizations

CURE's profile picture

Papers 4

arxiv:2502.11157
arxiv:2106.04624
arxiv:2010.13154
arxiv:2001.09239

models 8

Jianyuan1/Kimina-Autoformalizer-7B-RL-0506

Updated 5 days ago

Jianyuan1/dyve-0424-lora

Updated 7 days ago • 3

Jianyuan1/Kimina-Autoformalizer-7B-RL

Updated 10 days ago • 10

Jianyuan1/deepseek-r1-14b-cot-math-reasoning-full

Text Generation • Updated Feb 19 • 45 • • 2

Jianyuan1/DyVerSearch

Updated Feb 11

Jianyuan1/prm-data-unfiltered-v1

Updated Feb 6

Jianyuan1/deepseek-14b-prm-filtered-balance-full

Updated Feb 5 • 2

Jianyuan1/deepseek-r1-14v-cot-math-reasoning-full

Updated Feb 4

datasets 7

Jianyuan1/0312_training_fast_slow_thinking

Updated Mar 16 • 19

Jianyuan1/cot-data

Viewer • Updated Feb 19 • 156k • 61

Jianyuan1/cot_dat_new

Updated Feb 12 • 8

Jianyuan1/prm-data-unfiltered-v1

Viewer • Updated Feb 6 • 1.23M • 9

Jianyuan1/reasoing-traces

Preview • Updated Feb 3 • 215

Jianyuan1/filtered_train

Viewer • Updated Jan 26 • 755k • 33

Jianyuan1/unfiltered_train

Updated Jan 23 • 13
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs