Xiaole Su

xiaolesu's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 3 days ago

xiaolesu/lean4-rl-stmt-v2

Viewer • Updated 3 days ago • 10k • 8

published a dataset 3 days ago

xiaolesu/lean4-rl-stmt-v2

Viewer • Updated 3 days ago • 10k • 8

updated a model 4 days ago

xiaolesu/qwen3-8b-lean4-sft-stmt

Text Generation • 8B • Updated 3 days ago • 586

updated a dataset 4 days ago

xiaolesu/lean4-rl-stmt

Viewer • Updated 4 days ago • 10k • 8

published a dataset 4 days ago

xiaolesu/lean4-rl-stmt

Viewer • Updated 4 days ago • 10k • 8

published a model 4 days ago

xiaolesu/qwen3-8b-lean4-sft-stmt

Text Generation • 8B • Updated 3 days ago • 586

updated a dataset 5 days ago

xiaolesu/lean4-sft-stmt

Viewer • Updated 5 days ago • 20k • 27

published a dataset 5 days ago

xiaolesu/lean4-sft-stmt

Viewer • Updated 5 days ago • 20k • 27

updated a model 10 days ago

xiaolesu/Qwen3-8B-Herald-SFT

Text Generation • 8B • Updated 10 days ago • 281 • 1

updated a model 11 days ago

xiaolesu/Qwen3-8B-Herald-SFT-1000

Text Generation • 8B • Updated 11 days ago • 10

published 2 models 11 days ago

xiaolesu/Qwen3-8B-Herald-SFT-1000

Text Generation • 8B • Updated 11 days ago • 10

xiaolesu/Qwen3-8B-Herald-SFT

Text Generation • 8B • Updated 10 days ago • 281 • 1

updated a model 11 days ago

xiaolesu/Qwen3-8B-Herald-SFT-ckpt2000

Text Generation • Updated 11 days ago • 9

published a model 11 days ago

xiaolesu/Qwen3-8B-Herald-SFT-ckpt2000

Text Generation • Updated 11 days ago • 9