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 13 days ago
Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
published a model 13 days ago
Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
updated a model 15 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 13 days ago • 2

Jianyuan1/dyve-0424-lora

Updated 15 days ago • 1

Jianyuan1/Kimina-Autoformalizer-7B-RL

Updated 17 days ago • 10

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

Text Generation • Updated Feb 19 • 32 • • 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 • 16

Jianyuan1/cot-data

Viewer • Updated Feb 19 • 156k • 84

Jianyuan1/cot_dat_new

Updated Feb 12 • 7

Jianyuan1/prm-data-unfiltered-v1

Viewer • Updated Feb 6 • 1.23M • 5

Jianyuan1/reasoing-traces

Preview • Updated Feb 3 • 194

Jianyuan1/filtered_train

Viewer • Updated Jan 26 • 755k • 30

Jianyuan1/unfiltered_train

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