xiaolesu/Proofling-iter147-test
Text Generation • 8B • Updated
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated a dataset about 6 hours ago
xiaolesu/OsmosisProofling-v3-SFT published a dataset about 6 hours ago
xiaolesu/OsmosisProofling-v3-SFT updated a dataset about 7 hours ago
xiaolesu/OsmosisProofling-v2-SFTOrganizations
models 11
xiaolesu/Proofling99-test
Text Generation • 8B • Updated • 201
xiaolesu/OsmosisProofling-v2-SFT
Text Generation • 8B • Updated • 365
xiaolesu/OsmosisProofling-GRPO-NT-Poor
Text Generation • 8B • Updated
xiaolesu/OsmosisProofling-SFT
Text Generation • 8B • Updated • 409
xiaolesu/Lean4-sft-tk-8b-iter279
Text Generation • 8B • Updated • 20
xiaolesu/Lean4-grpo-tk-8b
Text Generation • 8B • Updated • 38
xiaolesu/lean4-grpo-nt-8b
8B • Updated • 14
xiaolesu/Lean4-sft-tk-8b
Text Generation • 8B • Updated • 362
xiaolesu/Lean4-sft-grpo-nt-8b
8B • Updated • 54
datasets 21
xiaolesu/OsmosisProofling-v3-SFT
Viewer • Updated • 20k
xiaolesu/OsmosisProofling-v2-SFT
Viewer • Updated • 20k • 19
xiaolesu/OsmosisProofling-v2-GRPO-extended
Viewer • Updated • 16.3k
xiaolesu/OsmosisProofling-v2-Gaokao
Viewer • Updated • 495 • 12
xiaolesu/OsmosisProofling-v2-Putnam
Viewer • Updated • 672 • 12
xiaolesu/OsmosisProofling-v2-ProofNet
Viewer • Updated • 371 • 11
xiaolesu/OsmosisProofling-v2-Minif2f
Viewer • Updated • 488 • 11
xiaolesu/OsmosisProofling-v2-benchmark
Viewer • Updated • 500 • 12 • 1
xiaolesu/OsmosisProofling-v2-GRPO
Viewer • Updated • 10k • 12
xiaolesu/OsmosisProofling-SFT-NT
Viewer • Updated • 20k • 20