Hugging Face's logo
Xuhan Huang's picture
8 2

Xuhan Huang

XuhanH
21world's profile picture FengdiFlo's profile picture
·

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

FreedomAI's profile picture Veri-Code's profile picture