Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
2
3
Zhong
Jianyuan1
Follow
zeju-0727's profile picture
1 follower
·
1 following
[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
Papers
4
arxiv:
2502.11157
arxiv:
2106.04624
arxiv:
2010.13154
arxiv:
2001.09239
models
8
Sort: Recently updated
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
Sort: Recently updated
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