Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Haiming Wang's picture
3 1

Haiming Wang

HaimingW
XiaoHLim's profile picture ahhwuhu's profile picture hehepig166's profile picture
·

AI & ML interests

None yet

Organizations

Project-Numina's profile picture

Articles 1

Article
46

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

Papers 7

arxiv:2504.11354
arxiv:2406.14408
arxiv:2406.01940
arxiv:2402.08957

models 1

HaimingW/Leandojo-CodeLLama-7b

Text Generation • 7B • Updated May 29, 2024 • 5

datasets 5

HaimingW/miniF2F-test-lean4

Viewer • Updated Feb 16 • 244 • 78 • 1

HaimingW/test-statements-miniF2F-test

Viewer • Updated Jan 14 • 244 • 12

HaimingW/PutnamBench-lean4

Viewer • Updated Jan 3 • 644 • 39 • 1

HaimingW/proofnet-lean4

Viewer • Updated Nov 25, 2024 • 438 • 35

HaimingW/miniF2F-lean4

Viewer • Updated Nov 25, 2024 • 555 • 90
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs