Xiaole Su's picture

Xiaole Su

xiaolesu

·

AI & ML interests

None yet

Recent Activity

updated a model 1 day ago

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

updated a dataset 1 day ago

xiaolesu/lean4-rl-stmt

published a dataset 1 day ago

xiaolesu/lean4-rl-stmt

View all activity

Organizations

models 4

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

Text Generation • 8B • Updated about 19 hours ago • 187

xiaolesu/Qwen3-8B-Herald-SFT

Text Generation • 8B • Updated 7 days ago • 273 • 1

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

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

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

Text Generation • Updated 9 days ago • 9

datasets 2

xiaolesu/lean4-rl-stmt

Viewer • Updated 1 day ago • 10k • 5

xiaolesu/lean4-sft-stmt

Viewer • Updated 2 days ago • 20k • 21