Haiming Wang's picture

3 2

Haiming Wang

HaimingW

·

AI & ML interests

None yet

Recent Activity

updated a model about 1 hour ago

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

published a model about 1 hour ago

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

updated a model about 20 hours ago

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

View all activity

Organizations

None yet

HaimingW 's datasets 8

HaimingW/openmathinstruct2_decontaminated

Viewer • Updated 2 days ago • 165k • 20

HaimingW/metamath_decontaminated

Viewer • Updated 2 days ago • 366k • 19

HaimingW/math_train_decontaminated

Viewer • Updated 2 days ago • 5.56k • 20

HaimingW/miniF2F-test-lean4

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

HaimingW/test-statements-miniF2F-test

Viewer • Updated Jan 14, 2025 • 244 • 7

HaimingW/PutnamBench-lean4

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

HaimingW/proofnet-lean4

Viewer • Updated Nov 25, 2024 • 438 • 56

HaimingW/miniF2F-lean4

Viewer • Updated Nov 25, 2024 • 555 • 79