Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Xiaole Su
xiaolesu
Follow
John6666's profile picture
JoyboyBrian's profile picture
2 followers
·
1 following
suxls_
suxls
xiaolesu
AI & ML interests
None yet
Recent Activity
updated
a dataset
about 6 hours ago
xiaolesu/OsmosisProofling-v3-SFT
published
a dataset
about 6 hours ago
xiaolesu/OsmosisProofling-v3-SFT
updated
a dataset
about 7 hours ago
xiaolesu/OsmosisProofling-v2-SFT
View all activity
Organizations
models
11
Sort: Recently updated
xiaolesu/Proofling-iter147-test
Text Generation
•
8B
•
Updated
1 day ago
xiaolesu/Proofling99-test
Text Generation
•
8B
•
Updated
1 day ago
•
201
xiaolesu/OsmosisProofling-v2-SFT
Text Generation
•
8B
•
Updated
2 days ago
•
365
xiaolesu/OsmosisProofling-GRPO-NT-Poor
Text Generation
•
8B
•
Updated
2 days ago
xiaolesu/OsmosisProofling-SFT
Text Generation
•
8B
•
Updated
3 days ago
•
409
xiaolesu/Lean4-sft-tk-8b-iter279
Text Generation
•
8B
•
Updated
7 days ago
•
20
xiaolesu/Lean4-grpo-tk-8b
Text Generation
•
8B
•
Updated
9 days ago
•
38
xiaolesu/lean4-grpo-nt-8b
8B
•
Updated
10 days ago
•
14
xiaolesu/Lean4-sft-tk-8b
Text Generation
•
8B
•
Updated
10 days ago
•
362
xiaolesu/Lean4-sft-grpo-nt-8b
8B
•
Updated
22 days ago
•
54
View 11 models
datasets
21
Sort: Recently updated
xiaolesu/OsmosisProofling-v3-SFT
Viewer
•
Updated
about 6 hours ago
•
20k
xiaolesu/OsmosisProofling-v2-SFT
Viewer
•
Updated
about 7 hours ago
•
20k
•
19
xiaolesu/OsmosisProofling-v2-GRPO-extended
Viewer
•
Updated
about 9 hours ago
•
16.3k
xiaolesu/OsmosisProofling-v2-Gaokao
Viewer
•
Updated
2 days ago
•
495
•
12
xiaolesu/OsmosisProofling-v2-Putnam
Viewer
•
Updated
2 days ago
•
672
•
12
xiaolesu/OsmosisProofling-v2-ProofNet
Viewer
•
Updated
2 days ago
•
371
•
11
xiaolesu/OsmosisProofling-v2-Minif2f
Viewer
•
Updated
2 days ago
•
488
•
11
xiaolesu/OsmosisProofling-v2-benchmark
Viewer
•
Updated
2 days ago
•
500
•
12
•
1
xiaolesu/OsmosisProofling-v2-GRPO
Viewer
•
Updated
2 days ago
•
10k
•
12
xiaolesu/OsmosisProofling-SFT-NT
Viewer
•
Updated
2 days ago
•
20k
•
20
View 21 datasets