Haiming Wang's picture

3 2

Haiming Wang

HaimingW

·

AI & ML interests

None yet

Recent Activity

updated a model 1 day ago

HaimingW/qwen2.5-1.5b-psammophyte-sft

published a model 1 day ago

HaimingW/qwen2.5-1.5b-psammophyte-sft

updated a model 2 days ago

HaimingW/qwen2.5-1.5b-faithful-summarization

View all activity

Organizations

None yet

HaimingW 's datasets 8

HaimingW/openmathinstruct2_decontaminated

Viewer • Updated 3 days ago • 165k • 25

HaimingW/metamath_decontaminated

Viewer • Updated 3 days ago • 366k • 26

HaimingW/math_train_decontaminated

Viewer • Updated 3 days ago • 5.56k • 25

HaimingW/miniF2F-test-lean4

Viewer • Updated Feb 16, 2025 • 244 • 56 • 1

HaimingW/test-statements-miniF2F-test

Viewer • Updated Jan 14, 2025 • 244 • 5

HaimingW/PutnamBench-lean4

Viewer • Updated Jan 3, 2025 • 644 • 108 • 1

HaimingW/proofnet-lean4

Viewer • Updated Nov 25, 2024 • 438 • 61

HaimingW/miniF2F-lean4

Viewer • Updated Nov 25, 2024 • 555 • 78