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 dataset
7 days ago
xiaolesu/putnam-osmosis
published
a dataset
7 days ago
xiaolesu/putnam-osmosis
updated
a model
8 days ago
xiaolesu/poorqwen3-8b-nt-step-118-1772749624
View all activity
Organizations
xiaolesu
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a dataset
7 days ago
xiaolesu/putnam-osmosis
Viewer
•
Updated
7 days ago
•
672
•
7
published
a dataset
7 days ago
xiaolesu/putnam-osmosis
Viewer
•
Updated
7 days ago
•
672
•
7
updated
a model
8 days ago
xiaolesu/poorqwen3-8b-nt-step-118-1772749624
8B
•
Updated
8 days ago
•
41
published
a model
8 days ago
xiaolesu/poorqwen3-8b-nt-step-118-1772749624
8B
•
Updated
8 days ago
•
41
updated
a dataset
10 days ago
xiaolesu/proofnet-osmosis
Viewer
•
Updated
10 days ago
•
371
•
8
published
a dataset
10 days ago
xiaolesu/proofnet-osmosis
Viewer
•
Updated
10 days ago
•
371
•
8
updated
a dataset
10 days ago
xiaolesu/minif2f-osmosis
Viewer
•
Updated
10 days ago
•
488
•
7
published
a dataset
10 days ago
xiaolesu/minif2f-osmosis
Viewer
•
Updated
10 days ago
•
488
•
7
updated
a dataset
10 days ago
xiaolesu/gaokao-v3-osmosis
Viewer
•
Updated
10 days ago
•
495
•
9
published
a dataset
10 days ago
xiaolesu/gaokao-v3-osmosis
Viewer
•
Updated
10 days ago
•
495
•
9
updated
a dataset
10 days ago
xiaolesu/lean4-rl-stmt-v2-nt
Viewer
•
Updated
10 days ago
•
10k
•
9
published
a dataset
10 days ago
xiaolesu/lean4-rl-stmt-v2-nt
Viewer
•
Updated
10 days ago
•
10k
•
9
updated
a model
11 days ago
xiaolesu/qwen3-8b-lean4-sft-stmt
Text Generation
•
8B
•
Updated
11 days ago
•
908
updated
a dataset
15 days ago
xiaolesu/lean4-rl-stmt-v2
Viewer
•
Updated
15 days ago
•
10k
•
16
published
a dataset
15 days ago
xiaolesu/lean4-rl-stmt-v2
Viewer
•
Updated
15 days ago
•
10k
•
16
updated
a dataset
16 days ago
xiaolesu/lean4-rl-stmt
Viewer
•
Updated
16 days ago
•
10k
•
9
published
a dataset
16 days ago
xiaolesu/lean4-rl-stmt
Viewer
•
Updated
16 days ago
•
10k
•
9
published
a model
17 days ago
xiaolesu/qwen3-8b-lean4-sft-stmt
Text Generation
•
8B
•
Updated
11 days ago
•
908
updated
a dataset
17 days ago
xiaolesu/lean4-sft-stmt
Viewer
•
Updated
17 days ago
•
20k
•
35
published
a dataset
17 days ago
xiaolesu/lean4-sft-stmt
Viewer
•
Updated
17 days ago
•
20k
•
35
Load more