arxiv:2506.07047
Zhong
Jianyuan1
AI & ML interests
None yet
Organizations
models 8
Jianyuan1/Kimina-Autoformalizer-7B-RL-0506
Text Generation • 8B • Updated
• 4
Jianyuan1/dyve-0424-lora
Updated
• 2
Jianyuan1/Kimina-Autoformalizer-7B-RL
8B • Updated
• 1
Jianyuan1/deepseek-r1-14b-cot-math-reasoning-full
Text Generation • 15B • Updated
• 13 • • 2
Jianyuan1/DyVerSearch
Updated
Jianyuan1/prm-data-unfiltered-v1
Updated
Jianyuan1/deepseek-14b-prm-filtered-balance-full
15B • Updated
• 1
Jianyuan1/deepseek-r1-14v-cot-math-reasoning-full
Updated
datasets 9
Jianyuan1/cot_data_slow_thinking_conversations
Viewer
• Updated
• 156k • 15 • 1
Jianyuan1/cot_data_slow_thinking
Updated
• 31 • 1
Jianyuan1/0312_training_fast_slow_thinking
Updated
• 23 • 1
Jianyuan1/cot-data
Viewer
• Updated
• 156k • 35 • 1
Jianyuan1/cot_dat_new
Updated
• 5 • 1
Jianyuan1/prm-data-unfiltered-v1
Viewer
• Updated
• 1.23M • 13 • 1
Jianyuan1/reasoing-traces
Preview
• Updated
• 15 • 1
Jianyuan1/filtered_train
Viewer
• Updated
• 755k • 40
Jianyuan1/unfiltered_train
Updated
• 10