Xuhan Huang's picture

8 2

Xuhan Huang

XuhanH

·

Function-Huang

AI & ML interests

None yet

Recent Activity

authored a paper about 1 month ago

Mamo: a Mathematical Modeling Benchmark with Solvers

authored a paper about 1 month ago

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

upvoted a paper about 1 month ago

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

View all activity

Organizations

Papers 2

arxiv:2507.16331

arxiv:2405.13144

models 0

None public yet

datasets 0

None public yet