Haocheng Wang's picture

In a Training Loop 🔄

3

Haocheng Wang PRO

hcWang942

·

AI & ML interests

AI for Math

Recent Activity

published a model 13 days ago

hcWang942/FormalRx-8B

upvoted a collection 13 days ago

updated a collection 19 days ago

View all activity

Organizations

upvoted a collection 13 days ago

FormalRx

3 items • Updated 19 days ago • 1

upvoted a paper 5 months ago

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

Paper • 2508.13755 • Published Aug 19, 2025 • 14

upvoted a paper 6 months ago

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

Paper • 2508.14029 • Published Aug 19, 2025 • 118