Xiaole Su's picture

Xiaole Su

xiaolesu

·

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

xiaolesu/lean4-rl-stmt-v2

published a dataset 1 day ago

xiaolesu/lean4-rl-stmt-v2

updated a model 3 days ago

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

View all activity

Organizations

models 4

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

Text Generation • 8B • Updated 2 days ago • 428

xiaolesu/Qwen3-8B-Herald-SFT

Text Generation • 8B • Updated 9 days ago • 275 • 1

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

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

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

Text Generation • Updated 10 days ago • 9

datasets 3

xiaolesu/lean4-rl-stmt-v2

Viewer • Updated 1 day ago • 10k • 7

xiaolesu/lean4-rl-stmt

Viewer • Updated 3 days ago • 10k • 7

xiaolesu/lean4-sft-stmt

Viewer • Updated 3 days ago • 20k • 23