Haiming Wang's picture

3 2

Haiming Wang

HaimingW

·

AI & ML interests

None yet

Recent Activity

published an article 9 days ago

Kimina-Prover-RL

liked a dataset 19 days ago

INSAIT-Institute/OPC

View all activity

Organizations

Articles 2

Article

9

Kimina-Prover-RL

Article

48

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

View all Articles

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 • 3

datasets 5

HaimingW/miniF2F-test-lean4

Viewer • Updated Feb 16 • 244 • 6 • 1

HaimingW/test-statements-miniF2F-test

Viewer • Updated Jan 14 • 244 • 8

HaimingW/PutnamBench-lean4

Viewer • Updated Jan 3 • 644 • 17 • 1

HaimingW/proofnet-lean4

Viewer • Updated Nov 25, 2024 • 438 • 17

HaimingW/miniF2F-lean4

Viewer • Updated Nov 25, 2024 • 555 • 245