Xiaole Su's picture

Xiaole Su

xiaolesu

·

AI & ML interests

None yet

Recent Activity

updated a dataset 2 days ago

xiaolesu/OsmosisProofling-v3-SFT

published a dataset 2 days ago

xiaolesu/OsmosisProofling-v3-SFT

updated a dataset 2 days ago

xiaolesu/OsmosisProofling-v2-SFT

View all activity

Organizations

xiaolesu 's datasets 21

xiaolesu/OsmosisProofling-v3-SFT

Viewer • Updated 2 days ago • 20k • 19

xiaolesu/OsmosisProofling-v2-SFT

Viewer • Updated 2 days ago • 20k • 39

xiaolesu/OsmosisProofling-v2-GRPO-extended

Viewer • Updated 2 days ago • 16.3k • 23

xiaolesu/OsmosisProofling-v2-Gaokao

Viewer • Updated 4 days ago • 495 • 24

xiaolesu/OsmosisProofling-v2-Putnam

Viewer • Updated 4 days ago • 672 • 24

xiaolesu/OsmosisProofling-v2-ProofNet

Viewer • Updated 4 days ago • 371 • 21

xiaolesu/OsmosisProofling-v2-Minif2f

Viewer • Updated 4 days ago • 488 • 22

xiaolesu/OsmosisProofling-v2-benchmark

Viewer • Updated 4 days ago • 500 • 28 • 1

xiaolesu/OsmosisProofling-v2-GRPO

Viewer • Updated 4 days ago • 10k • 25

xiaolesu/OsmosisProofling-SFT-NT

Viewer • Updated 4 days ago • 20k • 22

xiaolesu/OsmosisProofling-GRPO-NT

Viewer • Updated 5 days ago • 10k • 21

xiaolesu/OsmosisProofling-Bench-Putnam-NT

Viewer • Updated 5 days ago • 672 • 18

xiaolesu/OsmosisProofling-Bench-ProofNet-NT

Viewer • Updated 5 days ago • 371 • 18

xiaolesu/OsmosisProofling-Bench-MiniF2F-NT

Viewer • Updated 5 days ago • 488 • 18

xiaolesu/OsmosisProofling-Bench-Gaokao-NT

Viewer • Updated 5 days ago • 495 • 18

xiaolesu/lean4-sft-stmt-tk-v2

Viewer • Updated 7 days ago • 11.2k • 21

xiaolesu/lean4-sft-stmt-tk

Viewer • Updated 13 days ago • 11.2k • 12

xiaolesu/lean4-rl-stmt-v2-nt

Viewer • Updated 26 days ago • 10k • 20

xiaolesu/lean4-rl-stmt-v2

Viewer • Updated Feb 26 • 10k • 16

xiaolesu/lean4-rl-stmt

Viewer • Updated Feb 25 • 10k • 17

xiaolesu/lean4-sft-stmt-nt

Viewer • Updated Feb 24 • 20k • 35