🔄 In a Training Loop

Haocheng Wang PRO

hcWang942

5 1

·

AI & ML interests

AI for Math

Recent Activity

published a model 14 days ago

LARK-Lab/FormalRx-1.7B

published a model 14 days ago

LARK-Lab/FormalRx-4b

published a model 14 days ago

LARK-Lab/FormalRx-8b

View all activity

Organizations

hcWang942 's datasets 2

hcWang942/qwen2.5-7b-lima-pairrm-preferences

Viewer • Updated Apr 27 • 50 • 8

hcWang942/self-alignment-curated

Viewer • Updated Apr 14 • 110 • 9