Xuhan Huang

Xuhan Huang on Hugging Face Daily Papers: 2 papers, 0 in the top 3 of their day, 43 upvotes.

1. CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling 19 upvotes, #16 of 2025-10-09
2. Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny 17 upvotes, #7 of 2025-07-24

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.