Zhong's picture

4 4

Zhong

Jianyuan1

·

[email protected]

AI & ML interests

None yet

Recent Activity

updated a model 27 days ago

huawei-ai4math/Mathesis-Autoformalizer-HPO

updated a model 28 days ago

huawei-ai4math/Mathesis-Autoformalizer

published a model 28 days ago

huawei-ai4math/Mathesis-Autoformalizer

View all activity

Organizations

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 • 4

Jianyuan1/dyve-0424-lora

Updated May 4 • 3

Jianyuan1/Kimina-Autoformalizer-7B-RL

8B • Updated May 2 • 3

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

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

Jianyuan1/DyVerSearch

Jianyuan1/prm-data-unfiltered-v1

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

15B • Updated Feb 5 • 2

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

datasets 9

Jianyuan1/cot_data_slow_thinking_conversations

Viewer • Updated Jun 28 • 156k • 24

Jianyuan1/cot_data_slow_thinking

Updated Jun 28 • 5

Jianyuan1/0312_training_fast_slow_thinking

Updated Mar 16 • 7

Jianyuan1/cot-data

Viewer • Updated Feb 19 • 156k • 31

Jianyuan1/cot_dat_new

Updated Feb 12 • 1

Jianyuan1/prm-data-unfiltered-v1

Viewer • Updated Feb 6 • 1.23M • 3

Jianyuan1/reasoing-traces

Preview • Updated Feb 3 • 27

Jianyuan1/filtered_train

Viewer • Updated Jan 26 • 755k • 7

Jianyuan1/unfiltered_train

Updated Jan 23 • 1