Haiming Wang

HaimingW's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

updated 2 datasets about 1 month ago

HaimingW/proofnet-lean4

Viewer • Updated about 1 month ago • 438 • 30

HaimingW/miniF2F-lean4

Viewer • Updated about 1 month ago • 555 • 306

updated a model 7 months ago

HaimingW/Leandojo-CodeLLama-7b

Text Generation • Updated May 29 • 10

liked a model 9 months ago

xai-org/grok-1

Text Generation • Updated Mar 28 • 1.21k • 2.2k