Article
17
Haiming Wang
HaimingW
AI & ML interests
None yet
Recent Activity
updated a model 5 days ago
HaimingW/llama-3.2-1b-slot-ner-lora-sft published a model 5 days ago
HaimingW/llama-3.2-1b-slot-ner-lora-sft updated a model 6 days ago
HaimingW/qwen2.5-1.5b-psammophyte-sftOrganizations
None yet
Articles 2
Article
56
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models 5
HaimingW/llama-3.2-1b-slot-ner-lora-sft
Text Generation • Updated • 9
HaimingW/qwen2.5-1.5b-psammophyte-sft
Updated
HaimingW/qwen2.5-1.5b-faithful-summarization
Text Generation • 2B • Updated • 61
HaimingW/llama-3.2-1b-xstest-dpo
Text Generation • Updated • 14
HaimingW/Leandojo-CodeLLama-7b
Text Generation • 7B • Updated • 6
datasets 8
HaimingW/openmathinstruct2_decontaminated
Viewer • Updated • 165k • 33
HaimingW/metamath_decontaminated
Viewer • Updated • 366k • 36
HaimingW/math_train_decontaminated
Viewer • Updated • 5.56k • 32
HaimingW/miniF2F-test-lean4
Viewer • Updated • 244 • 45 • 1
HaimingW/test-statements-miniF2F-test
Viewer • Updated • 244 • 8
HaimingW/PutnamBench-lean4
Viewer • Updated • 644 • 96 • 1
HaimingW/proofnet-lean4
Viewer • Updated • 438 • 78
HaimingW/miniF2F-lean4
Viewer • Updated • 555 • 78