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

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

Haocheng Wang PRO

hcWang942
Adelante's profile picture
·
  • hcWang942
  • hcwang942

AI & ML interests

AI for Math

Recent Activity

upvoted a collection 8 days ago
FormalRx
upvoted a collection 21 days ago
CodeScaler
published a model 2 months ago
hcWang942/FormalRx-8B
View all activity

Organizations

LARK Lab@HKUST (GZ)'s profile picture

upvoted a collection 8 days ago

FormalRx

Collection
3 items • Updated 8 days ago • 2
upvoted a collection 21 days ago

CodeScaler

Collection
5 items • Updated 28 days ago • 6
upvoted a collection 2 months ago

FormalRx

Collection
3 items • Updated Jan 22 • 1
upvoted 2 papers 7 months ago

Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration

Paper • 2508.13755 • Published Aug 19, 2025 • 14

Beyond Pass@1: Self-Play with Variational Problem Synthesis Sustains RLVR

Paper • 2508.14029 • Published Aug 19, 2025 • 119
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs