Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Haocheng Wang's picture
In a Training Loop 🔄
3

Haocheng Wang PRO

hcWang942
·
  • hcWang942
  • hcwang942

AI & ML interests

AI for Math

Recent Activity

published a model 11 days ago
hcWang942/FormalRx-8B
upvoted a collection 11 days ago
FormalRx
updated a collection 17 days ago
FormalRx
View all activity

Organizations

LARK Lab@HKUST (GZ)'s profile picture

Collections 1

FormalRx
  • hcWang942/FormalRx-8B

    Text Generation • 8B • Updated 17 days ago • 5
  • hcWang942/FormalRx-4B

    Text Generation • 4B • Updated 18 days ago • 32
FormalRx
  • hcWang942/FormalRx-8B

    Text Generation • 8B • Updated 17 days ago • 5
  • hcWang942/FormalRx-4B

    Text Generation • 4B • Updated 18 days ago • 32

models 2

hcWang942/FormalRx-8B

Text Generation • 8B • Updated 17 days ago • 5

hcWang942/FormalRx-4B

Text Generation • 4B • Updated 18 days ago • 32

datasets 0

None public yet
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs