Article
17
Haiming Wang
HaimingW
AI & ML interests
None yet
Recent Activity
updated a dataset about 1 hour ago
HaimingW/ptb-cmb published a dataset about 1 hour ago
HaimingW/ptb-cmb updated a dataset about 3 hours ago
HaimingW/ptb-writingbenchOrganizations
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 • 11
HaimingW/qwen2.5-1.5b-psammophyte-sft
Updated
HaimingW/qwen2.5-1.5b-faithful-summarization
Text Generation • 2B • Updated • 63
HaimingW/llama-3.2-1b-xstest-dpo
Text Generation • Updated • 14
HaimingW/Leandojo-CodeLLama-7b
Text Generation • 7B • Updated • 6
datasets 24
HaimingW/ptb-cmb
Viewer • Updated • 10k
HaimingW/ptb-writingbench
Viewer • Updated • 1k
HaimingW/ptb-sysbench
Viewer • Updated • 5.95k
HaimingW/ptb-sifo
Viewer • Updated • 800
HaimingW/ptb-medthinkbench
Viewer • Updated • 500
HaimingW/ptb-medexqa
Viewer • Updated • 965
HaimingW/ptb-marc
Viewer • Updated • 100
HaimingW/ptb-longhealth
Viewer • Updated • 400
HaimingW/ptb-longbenchwrite
Viewer • Updated • 120
HaimingW/ptb-llmevalmed
Viewer • Updated • 667