Xiaole Su's picture

Xiaole Su

xiaolesu

·

AI & ML interests

None yet

Recent Activity

updated a dataset 4 days ago

xiaolesu/lean4-rl-stmt-v2

published a dataset 4 days ago

xiaolesu/lean4-rl-stmt-v2

updated a model 5 days ago

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

View all activity

Organizations

models 4

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

Text Generation • 8B • Updated 5 days ago • 589

xiaolesu/Qwen3-8B-Herald-SFT

Text Generation • 8B • Updated 11 days ago • 283 • 1

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

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

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

Text Generation • Updated 12 days ago • 9

datasets 3

xiaolesu/lean4-rl-stmt-v2

Viewer • Updated 4 days ago • 10k • 9

xiaolesu/lean4-rl-stmt

Viewer • Updated 5 days ago • 10k • 8

xiaolesu/lean4-sft-stmt

Viewer • Updated 6 days ago • 20k • 27