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

  • Log In
  • Sign Up
Zhong's picture
4 5

Zhong

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

AI & ML interests

None yet

Organizations

CURE's profile picture Huawei-AI4Math's profile picture

Papers 7

arxiv:2506.07047
arxiv:2505.11966
arxiv:2502.11157
arxiv:2403.01446

models 8

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

Text Generation • 8B • Updated Jun 12

Jianyuan1/dyve-0424-lora

Updated May 4

Jianyuan1/Kimina-Autoformalizer-7B-RL

8B • Updated May 2

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

Text Generation • 15B • Updated Feb 19 • 5 • • 2

Jianyuan1/DyVerSearch

Updated Feb 11

Jianyuan1/prm-data-unfiltered-v1

Updated Feb 6

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

15B • Updated Feb 5 • 1

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

Updated Feb 4

datasets 9

Jianyuan1/cot_data_slow_thinking_conversations

Viewer • Updated Jun 28 • 156k • 47

Jianyuan1/cot_data_slow_thinking

Updated Jun 28 • 35

Jianyuan1/0312_training_fast_slow_thinking

Updated Mar 16 • 3

Jianyuan1/cot-data

Viewer • Updated Feb 19 • 156k • 46

Jianyuan1/cot_dat_new

Updated Feb 12 • 2

Jianyuan1/prm-data-unfiltered-v1

Viewer • Updated Feb 6 • 1.23M • 2

Jianyuan1/reasoing-traces

Preview • Updated Feb 3 • 29

Jianyuan1/filtered_train

Viewer • Updated Jan 26 • 755k • 23

Jianyuan1/unfiltered_train

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