Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Xiaole Su
xiaolesu
Follow
JoyboyBrian's profile picture
John6666's profile picture
2 followers
·
1 following
suxls_
suxls
xiaolesu
AI & ML interests
None yet
Recent Activity
updated
a model
about 14 hours ago
xiaolesu/Lean4-sft-tk-8b-iter279
published
a model
about 14 hours ago
xiaolesu/Lean4-sft-tk-8b-iter279
updated
a dataset
about 14 hours ago
xiaolesu/gaokao-v3-osmosis
View all activity
Organizations
models
10
Sort: Recently updated
xiaolesu/Lean4-sft-tk-8b-iter279
Text Generation
•
8B
•
Updated
about 14 hours ago
•
10
xiaolesu/Lean4-sft-tk-8b-iter59
Text Generation
•
8B
•
Updated
1 day ago
•
16
xiaolesu/Lean4-grpo-tk-8b
Text Generation
•
8B
•
Updated
3 days ago
•
22
xiaolesu/lean4-grpo-nt-8b
8B
•
Updated
3 days ago
•
11
xiaolesu/Lean4-sft-tk-8b
Text Generation
•
8B
•
Updated
4 days ago
•
329
xiaolesu/Qwen3-8b-grpo-tk-iter139
Text Generation
•
8B
•
Updated
4 days ago
•
10
xiaolesu/Lean4-grpo-tk-8b-poor
Text Generation
•
8B
•
Updated
4 days ago
xiaolesu/Lean4-sft-grpo-nt-8b
8B
•
Updated
16 days ago
•
49
xiaolesu/Lean4-sft-nt-8b
Text Generation
•
8B
•
Updated
19 days ago
•
937
xiaolesu/Qwen3-8B-Herald-SFT
Text Generation
•
8B
•
Updated
about 1 month ago
•
79
•
1
datasets
10
Sort: Recently updated
xiaolesu/gaokao-v3-osmosis
Viewer
•
Updated
about 14 hours ago
•
495
•
12
xiaolesu/minif2f-osmosis
Viewer
•
Updated
about 14 hours ago
•
488
•
12
xiaolesu/proofnet-osmosis
Viewer
•
Updated
about 14 hours ago
•
371
•
13
xiaolesu/putnam-osmosis
Viewer
•
Updated
about 14 hours ago
•
672
•
13
xiaolesu/lean4-sft-stmt-tk-v2
Updated
about 15 hours ago
•
3
xiaolesu/lean4-sft-stmt-tk
Viewer
•
Updated
5 days ago
•
11.2k
•
6
xiaolesu/lean4-rl-stmt-v2-nt
Viewer
•
Updated
18 days ago
•
10k
•
10
xiaolesu/lean4-rl-stmt-v2
Viewer
•
Updated
23 days ago
•
10k
•
18
xiaolesu/lean4-rl-stmt
Viewer
•
Updated
24 days ago
•
10k
•
15
xiaolesu/lean4-sft-stmt-nt
Viewer
•
Updated
25 days ago
•
20k
•
40