xiaolesu/OsmosisProoflilng-SFT-NT-GRPO-TK
Text Generation • 8B • Updated • 255
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated a model about 22 hours ago
xiaolesu/OsmosisProoflilng-SFT-NT-GRPO-TK published a model about 22 hours ago
xiaolesu/OsmosisProoflilng-SFT-NT-GRPO-TK updated a model 2 days ago
xiaolesu/Qwen3-8B-iter253Organizations
models 15
xiaolesu/Qwen3-8B-iter253
Text Generation • 8B • Updated • 185
xiaolesu/OsmosisProofling-v3-SFT
Text Generation • 8B • Updated • 260
xiaolesu/Qwen3-8B-iter199
Text Generation • 8B • Updated • 142
xiaolesu/Proofling-iter147-test
Text Generation • 8B • Updated • 210
xiaolesu/Proofling99-test
Text Generation • 8B • Updated • 250
xiaolesu/OsmosisProofling-v2-SFT
Text Generation • 8B • Updated • 388
xiaolesu/OsmosisProofling-GRPO-NT-Poor
Text Generation • 8B • Updated • 1
xiaolesu/OsmosisProofling-SFT
Text Generation • 8B • Updated • 427
xiaolesu/Lean4-sft-tk-8b-iter279
Text Generation • 8B • Updated • 22
datasets 21
xiaolesu/OsmosisProofling-v3-SFT
Viewer • Updated • 20k • 33
xiaolesu/OsmosisProofling-v2-SFT
Viewer • Updated • 20k • 48
xiaolesu/OsmosisProofling-v2-GRPO-extended
Viewer • Updated • 16.3k • 39
xiaolesu/OsmosisProofling-v2-Gaokao
Viewer • Updated • 495 • 28
xiaolesu/OsmosisProofling-v2-Putnam
Viewer • Updated • 672 • 26
xiaolesu/OsmosisProofling-v2-ProofNet
Viewer • Updated • 371 • 23
xiaolesu/OsmosisProofling-v2-Minif2f
Viewer • Updated • 488 • 24
xiaolesu/OsmosisProofling-v2-benchmark
Viewer • Updated • 500 • 46 • 1
xiaolesu/OsmosisProofling-v2-GRPO
Viewer • Updated • 10k • 27
xiaolesu/OsmosisProofling-SFT-NT
Viewer • Updated • 20k • 23