Xuhan Huang

XuhanH

9 5

Function-Huang

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

From Economic Agents to Agentic Economies: A Systems Blueprint for Economic World Models

liked a model 1 day ago

veri-safe/SWD-Qwen2.5-3B

updated a Space 1 day ago

veri-safe/SWD-Blog

View all activity

Organizations

upvoted a paper 1 day ago

From Economic Agents to Agentic Economies: A Systems Blueprint for Economic World Models

Paper • 2608.06020 • Published 3 days ago • 27

liked a model 1 day ago

veri-safe/SWD-Qwen2.5-3B

Updated 4 days ago • 1

updated a Space 1 day ago

Sparse Weight Decomposition

🚀

Efficient circuit extraction via sparse weight decomposition

liked a model 3 days ago

veri-safe/SWD

Updated 4 days ago • 3

liked a Space 4 days ago

Sparse Weight Decomposition

🚀

Efficient circuit extraction via sparse weight decomposition

published a Space 4 days ago

Sparse Weight Decomposition

🚀

Efficient circuit extraction via sparse weight decomposition

published 2 models 4 days ago

veri-safe/SWD

Updated 4 days ago • 3

veri-safe/SWD-Qwen2.5-3B

Updated 4 days ago • 1

updated a collection 4 days ago

Sparse Weight Decomposition

Collection

3 items • Updated 4 days ago

updated 2 models 4 days ago

veri-safe/SWD-Qwen2.5-3B

Updated 4 days ago • 1

veri-safe/SWD

Updated 4 days ago • 3

authored a paper 10 months ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

Paper • 2510.04204 • Published Oct 5, 2025 • 21

authored 2 papers about 1 year 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, 2025 • 22

upvoted 2 papers about 1 year ago

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, 2025 • 22

ShareGPT-4o-Image: Aligning Multimodal Models with GPT-4o-Level Image Generation

Paper • 2506.18095 • Published Jun 22, 2025 • 67

upvoted a paper over 1 year ago

S2S-Arena, Evaluating Speech2Speech Protocols on Instruction Following with Paralinguistic Information

Paper • 2503.05085 • Published Mar 7, 2025 • 47

Xuhan Huang

AI & ML interests

Recent Activity

Organizations

XuhanH's activity

Sparse Weight Decomposition

Sparse Weight Decomposition

Sparse Weight Decomposition