Article
17
Haiming Wang
HaimingW
AI & ML interests
None yet
Organizations
None yet
Articles 2
Article
56
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models 11
HaimingW/ptb-ood-assets
Updated
HaimingW/ptb-ood-sft-llama3.2-3b
3B • Updated • 11
HaimingW/ptb-ood-sft-smollm3-3b
3B • Updated • 11
HaimingW/ptb-ood-sft-gemma3-4b
4B • Updated • 10
HaimingW/ptb-ood-sft-qwen3-4b
4B • Updated • 14
HaimingW/ptb-ood-sft-qwen3-1.7b
2B • Updated • 7
HaimingW/llama-3.2-1b-slot-ner-lora-sft
Text Generation • Updated • 4
HaimingW/qwen2.5-1.5b-psammophyte-sft
Updated
HaimingW/qwen2.5-1.5b-faithful-summarization
Text Generation • 2B • Updated • 32
HaimingW/llama-3.2-1b-xstest-dpo
Text Generation • Updated • 5
datasets 27
HaimingW/ptb-m-arenahard
Viewer • Updated • 11.5k • 414
HaimingW/ptb-lmsys-arena-hard
Viewer • Updated • 500 • 183
HaimingW/ptb-arenahard-v01
Viewer • Updated • 500 • 74
HaimingW/ptb-cmb
Viewer • Updated • 10k • 84
HaimingW/ptb-writingbench
Viewer • Updated • 1k • 225
HaimingW/ptb-sysbench
Viewer • Updated • 5.95k • 201
HaimingW/ptb-sifo
Viewer • Updated • 800 • 18
HaimingW/ptb-medthinkbench
Viewer • Updated • 500 • 130
HaimingW/ptb-medexqa
Viewer • Updated • 965 • 79
HaimingW/ptb-marc
Viewer • Updated • 100 • 203