Haiming Wang

HaimingW's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model about 5 hours ago

HaimingW/qwen2.5-1.5b-psammophyte-sft

Updated about 5 hours ago

published a model about 5 hours ago

HaimingW/qwen2.5-1.5b-psammophyte-sft

Updated about 5 hours ago

updated a model about 24 hours ago

HaimingW/qwen2.5-1.5b-faithful-summarization

Text Generation • 2B • Updated about 24 hours ago • 3

published a model about 24 hours ago

HaimingW/qwen2.5-1.5b-faithful-summarization

Text Generation • 2B • Updated about 24 hours ago • 3

updated a model 1 day ago

HaimingW/llama-3.2-1b-xstest-dpo

Text Generation • Updated 1 day ago • 10

published a model 1 day ago

HaimingW/llama-3.2-1b-xstest-dpo

Text Generation • Updated 1 day ago • 10

updated a dataset 2 days ago

HaimingW/openmathinstruct2_decontaminated

Viewer • Updated 2 days ago • 165k • 20

published a dataset 2 days ago

HaimingW/openmathinstruct2_decontaminated

Viewer • Updated 2 days ago • 165k • 20

updated a dataset 2 days ago

HaimingW/metamath_decontaminated

Viewer • Updated 2 days ago • 366k • 19

published a dataset 2 days ago

HaimingW/metamath_decontaminated

Viewer • Updated 2 days ago • 366k • 19

updated a dataset 2 days ago

HaimingW/math_train_decontaminated

Viewer • Updated 2 days ago • 5.56k • 20

published a dataset 2 days ago

HaimingW/math_train_decontaminated

Viewer • Updated 2 days ago • 5.56k • 20

published an article 11 months ago

view article

Article

Kimina-Prover-RL

• 

AI-MO

•

Aug 14, 2025

• 17

liked a dataset 11 months ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 95 • 14

published an article 12 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

AI-MO

•

Jul 10, 2025

• 56