Haiming Wang's picture

3 2

Haiming Wang

HaimingW

·

AI & ML interests

None yet

Organizations

HaimingW 's datasets 5

HaimingW/miniF2F-test-lean4

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

HaimingW/test-statements-miniF2F-test

Viewer • Updated Jan 14, 2025 • 244 • 11

HaimingW/PutnamBench-lean4

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

HaimingW/proofnet-lean4

Viewer • Updated Nov 25, 2024 • 438 • 49

HaimingW/miniF2F-lean4

Viewer • Updated Nov 25, 2024 • 555 • 65