Article
17
Haiming Wang
HaimingW
AI & ML interests
None yet
Recent Activity
updated a dataset 8 days ago
HaimingW/ptb-cmb published a dataset 8 days ago
HaimingW/ptb-cmb updated a dataset 8 days 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 • 12
HaimingW/qwen2.5-1.5b-psammophyte-sft
Updated
HaimingW/qwen2.5-1.5b-faithful-summarization
Text Generation • 2B • Updated • 66
HaimingW/llama-3.2-1b-xstest-dpo
Text Generation • Updated • 16
HaimingW/Leandojo-CodeLLama-7b
Text Generation • 7B • Updated • 7
datasets 24
HaimingW/ptb-cmb
Viewer • Updated • 10k • 49
HaimingW/ptb-writingbench
Viewer • Updated • 1k • 76
HaimingW/ptb-sysbench
Viewer • Updated • 5.95k • 34
HaimingW/ptb-sifo
Viewer • Updated • 800 • 35
HaimingW/ptb-medthinkbench
Viewer • Updated • 500 • 37
HaimingW/ptb-medexqa
Viewer • Updated • 965 • 38
HaimingW/ptb-marc
Viewer • Updated • 100 • 31
HaimingW/ptb-longhealth
Viewer • Updated • 400 • 36
HaimingW/ptb-longbenchwrite
Viewer • Updated • 120 • 84
HaimingW/ptb-llmevalmed
Viewer • Updated • 667 • 34