xiaolesu/Lean4-sft-tk-8b-iter79
Text Generation • 8B • Updated
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated a model about 1 hour ago
xiaolesu/Lean4-sft-tk-8b-iter79 published a model about 1 hour ago
xiaolesu/Lean4-sft-tk-8b-iter79 updated a dataset about 2 hours ago
xiaolesu/OsmosisProofling-SFT-NTOrganizations
models 8
xiaolesu/OsmosisProofling-SFT
Text Generation • 8B • Updated • 365
xiaolesu/Lean4-sft-tk-8b-iter279
Text Generation • 8B • Updated • 19
xiaolesu/Lean4-grpo-tk-8b
Text Generation • 8B • Updated • 31
xiaolesu/lean4-grpo-nt-8b
8B • Updated • 11
xiaolesu/Lean4-sft-tk-8b
Text Generation • 8B • Updated • 357
xiaolesu/Lean4-sft-grpo-nt-8b
8B • Updated • 54
xiaolesu/Lean4-sft-nt-8b
Text Generation • 8B • Updated • 950
datasets 18
xiaolesu/OsmosisProofling-SFT-NT
Viewer • Updated • 20k • 5
xiaolesu/OsmosisProofling-GRPO-TK
Viewer • Updated • 10k • 4
xiaolesu/OsmosisProofling-GRPO-NT
Viewer • Updated • 10k • 4
xiaolesu/OsmosisProofling-Bench-Putnam-TK
Viewer • Updated • 672 • 2
xiaolesu/OsmosisProofling-Bench-ProofNet-TK
Viewer • Updated • 371 • 3
xiaolesu/OsmosisProofling-Bench-MiniF2F-TK
Viewer • Updated • 488 • 3
xiaolesu/OsmosisProofling-Bench-Gaokao-TK
Viewer • Updated • 495 • 2
xiaolesu/OsmosisProofling-Bench-Putnam-NT
Viewer • Updated • 672 • 2
xiaolesu/OsmosisProofling-Bench-ProofNet-NT
Viewer • Updated • 371 • 2
xiaolesu/OsmosisProofling-Bench-MiniF2F-NT
Viewer • Updated • 488 • 2