Haiming Wang's picture

1 1

Haiming Wang

HaimingW

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

HaimingW/proofnet-lean4

updated a dataset about 1 month ago

HaimingW/miniF2F-lean4

View all activity

Organizations

models 1

HaimingW/Leandojo-CodeLLama-7b

Text Generation • Updated May 29 • 10

datasets 2

HaimingW/proofnet-lean4

Viewer • Updated about 1 month ago • 438 • 30

HaimingW/miniF2F-lean4

Viewer • Updated about 1 month ago • 555 • 306