Haiming Wang's picture

1 1

Haiming Wang

HaimingW

·

AI & ML interests

None yet

Recent Activity

updated a dataset 13 days ago

HaimingW/test-statements-miniF2F-test

View all activity

Organizations

models 1

HaimingW/Leandojo-CodeLLama-7b

Text Generation • Updated May 29, 2024 • 13

datasets 4

HaimingW/test-statements-miniF2F-test

Viewer • Updated 13 days ago • 244 • 24

HaimingW/PutnamBench-lean4

Viewer • Updated 24 days ago • 644 • 82 • 1

HaimingW/proofnet-lean4

Viewer • Updated Nov 25, 2024 • 438 • 857

HaimingW/miniF2F-lean4

Viewer • Updated Nov 25, 2024 • 555 • 1.25k