xiaolesu/Lean-grpo-tk-8b
Text Generation • 8B • Updated • 17
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated a model about 18 hours ago
xiaolesu/Lean-grpo-tk-8b published a model about 18 hours ago
xiaolesu/Lean-grpo-tk-8b updated a model 1 day ago
xiaolesu/lean4-grpo-nt-8bOrganizations
models 8
xiaolesu/lean4-grpo-nt-8b
8B • Updated • 6
xiaolesu/Lean4-sft-tk-8b
Text Generation • 8B • Updated • 313
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 • 41
xiaolesu/Lean4-sft-nt-8b
Text Generation • 8B • Updated • 926
xiaolesu/Qwen3-8B-Herald-SFT
Text Generation • 8B • Updated • 325 • 1
datasets 9
xiaolesu/lean4-sft-stmt-tk
Viewer • Updated • 11.2k • 6
xiaolesu/putnam-osmosis
Viewer • Updated • 672 • 10
xiaolesu/proofnet-osmosis
Viewer • Updated • 371 • 9
xiaolesu/minif2f-osmosis
Viewer • Updated • 488 • 8
xiaolesu/gaokao-v3-osmosis
Viewer • Updated • 495 • 10
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