Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
8
2
Xuhan Huang
XuhanH
Follow
21world's profile picture
FengdiFlo's profile picture
2 followers
ยท
2 following
Function-Huang
AI & ML interests
None yet
Recent Activity
authored
a paper
8 days ago
Mamo: a Mathematical Modeling Benchmark with Solvers
authored
a paper
8 days ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
upvoted
a
paper
9 days ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
View all activity
Organizations
XuhanH
's models
None public yet
