Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Xiaole Su
xiaolesu
Follow
John6666's profile picture
1 follower
·
1 following
suxls_
suxls
xiaolesu
AI & ML interests
None yet
Recent Activity
updated
a model
1 day ago
xiaolesu/qwen3-8b-lean4-sft-stmt
updated
a dataset
1 day ago
xiaolesu/lean4-rl-stmt
published
a dataset
1 day ago
xiaolesu/lean4-rl-stmt
View all activity
Organizations
models
4
Sort: Recently updated
xiaolesu/qwen3-8b-lean4-sft-stmt
Text Generation
•
8B
•
Updated
about 19 hours ago
•
187
xiaolesu/Qwen3-8B-Herald-SFT
Text Generation
•
8B
•
Updated
7 days ago
•
273
•
1
xiaolesu/Qwen3-8B-Herald-SFT-1000
Text Generation
•
8B
•
Updated
8 days ago
•
10
xiaolesu/Qwen3-8B-Herald-SFT-ckpt2000
Text Generation
•
Updated
9 days ago
•
9
datasets
2
Sort: Recently updated
xiaolesu/lean4-rl-stmt
Viewer
•
Updated
1 day ago
•
10k
•
5
xiaolesu/lean4-sft-stmt
Viewer
•
Updated
2 days ago
•
20k
•
21