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 model
about 1 hour ago
xiaolesu/Lean4-sft-tk-8b-iter79
published
a model
about 1 hour ago
xiaolesu/Lean4-sft-tk-8b-iter79
updated
a dataset
about 2 hours ago
xiaolesu/OsmosisProofling-SFT-NT
View all activity
Organizations
models
8
Sort: Recently updated
xiaolesu/Lean4-sft-tk-8b-iter79
Text Generation
•
8B
•
Updated
about 1 hour ago
xiaolesu/OsmosisProofling-SFT
Text Generation
•
8B
•
Updated
about 19 hours ago
•
365
xiaolesu/Lean4-sft-tk-8b-iter279
Text Generation
•
8B
•
Updated
5 days ago
•
19
xiaolesu/Lean4-grpo-tk-8b
Text Generation
•
8B
•
Updated
7 days ago
•
31
xiaolesu/lean4-grpo-nt-8b
8B
•
Updated
8 days ago
•
11
xiaolesu/Lean4-sft-tk-8b
Text Generation
•
8B
•
Updated
8 days ago
•
357
xiaolesu/Lean4-sft-grpo-nt-8b
8B
•
Updated
20 days ago
•
54
xiaolesu/Lean4-sft-nt-8b
Text Generation
•
8B
•
Updated
23 days ago
•
950
datasets
18
Sort: Recently updated
xiaolesu/OsmosisProofling-SFT-NT
Viewer
•
Updated
about 2 hours ago
•
20k
•
5
xiaolesu/OsmosisProofling-GRPO-TK
Viewer
•
Updated
about 21 hours ago
•
10k
•
4
xiaolesu/OsmosisProofling-GRPO-NT
Viewer
•
Updated
about 21 hours ago
•
10k
•
4
xiaolesu/OsmosisProofling-Bench-Putnam-TK
Viewer
•
Updated
about 22 hours ago
•
672
•
2
xiaolesu/OsmosisProofling-Bench-ProofNet-TK
Viewer
•
Updated
about 22 hours ago
•
371
•
3
xiaolesu/OsmosisProofling-Bench-MiniF2F-TK
Viewer
•
Updated
about 22 hours ago
•
488
•
3
xiaolesu/OsmosisProofling-Bench-Gaokao-TK
Viewer
•
Updated
about 22 hours ago
•
495
•
2
xiaolesu/OsmosisProofling-Bench-Putnam-NT
Viewer
•
Updated
about 22 hours ago
•
672
•
2
xiaolesu/OsmosisProofling-Bench-ProofNet-NT
Viewer
•
Updated
about 22 hours ago
•
371
•
2
xiaolesu/OsmosisProofling-Bench-MiniF2F-NT
Viewer
•
Updated
about 22 hours ago
•
488
•
2
View 18 datasets