Article
17
Haiming Wang
HaimingW
AI & ML interests
None yet
Recent Activity
updated a model about 17 hours ago
HaimingW/qwen2.5-1.5b-faithful-summarization published a model about 17 hours ago
HaimingW/qwen2.5-1.5b-faithful-summarization updated a model about 18 hours ago
HaimingW/llama-3.2-1b-xstest-dpoOrganizations
None yet
Articles 2
Article
56
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
datasets 8
HaimingW/openmathinstruct2_decontaminated
Viewer • Updated • 165k • 20
HaimingW/metamath_decontaminated
Viewer • Updated • 366k • 19
HaimingW/math_train_decontaminated
Viewer • Updated • 5.56k • 20
HaimingW/miniF2F-test-lean4
Viewer • Updated • 244 • 49 • 1
HaimingW/test-statements-miniF2F-test
Viewer • Updated • 244 • 7
HaimingW/PutnamBench-lean4
Viewer • Updated • 644 • 104 • 1
HaimingW/proofnet-lean4
Viewer • Updated • 438 • 56
HaimingW/miniF2F-lean4
Viewer • Updated • 555 • 79