Xuhan Huang's picture

8 2

Xuhan Huang

XuhanH

·

Function-Huang

AI & ML interests

None yet

Recent Activity

authored a paper 20 days ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

authored a paper 3 months ago

Mamo: a Mathematical Modeling Benchmark with Solvers

authored a paper 3 months ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

View all activity

Organizations

authored a paper 20 days ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

Paper • 2510.04204 • Published 25 days ago • 19

authored 2 papers 3 months ago

Mamo: a Mathematical Modeling Benchmark with Solvers

Paper • 2405.13144 • Published May 21, 2024

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22 • 20