xiaolesu/Lean4-sft-tk-8b-iter279
Text Generation • 8B • Updated • 10
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated a model about 14 hours ago
xiaolesu/Lean4-sft-tk-8b-iter279 published a model about 14 hours ago
xiaolesu/Lean4-sft-tk-8b-iter279 updated a dataset about 14 hours ago
xiaolesu/gaokao-v3-osmosisOrganizations
models 10
xiaolesu/Lean4-sft-tk-8b-iter59
Text Generation • 8B • Updated • 16
xiaolesu/Lean4-grpo-tk-8b
Text Generation • 8B • Updated • 22
xiaolesu/lean4-grpo-nt-8b
8B • Updated • 11
xiaolesu/Lean4-sft-tk-8b
Text Generation • 8B • Updated • 329
xiaolesu/Qwen3-8b-grpo-tk-iter139
Text Generation • 8B • Updated • 10
xiaolesu/Lean4-grpo-tk-8b-poor
Text Generation • 8B • Updated
xiaolesu/Lean4-sft-grpo-nt-8b
8B • Updated • 49
xiaolesu/Lean4-sft-nt-8b
Text Generation • 8B • Updated • 937
xiaolesu/Qwen3-8B-Herald-SFT
Text Generation • 8B • Updated • 79 • 1
datasets 10
xiaolesu/gaokao-v3-osmosis
Viewer • Updated • 495 • 12
xiaolesu/minif2f-osmosis
Viewer • Updated • 488 • 12
xiaolesu/proofnet-osmosis
Viewer • Updated • 371 • 13
xiaolesu/putnam-osmosis
Viewer • Updated • 672 • 13
xiaolesu/lean4-sft-stmt-tk-v2
Updated • 3
xiaolesu/lean4-sft-stmt-tk
Viewer • Updated • 11.2k • 6
xiaolesu/lean4-rl-stmt-v2-nt
Viewer • Updated • 10k • 10
xiaolesu/lean4-rl-stmt-v2
Viewer • Updated • 10k • 18
xiaolesu/lean4-rl-stmt
Viewer • Updated • 10k • 15
xiaolesu/lean4-sft-stmt-nt
Viewer • Updated • 20k • 40