Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
23
10
Shudong Liu
Sudanl
Follow
jnanliu's profile picture
dark-pen's profile picture
epsilondylan's profile picture
6 followers
·
6 following
http://sudanl.github.io
shudong_liu
Sudanl
AI & ML interests
NLP, LLM
Recent Activity
upvoted
a
paper
1 day ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
updated
a model
19 days ago
opencompass/CompassVerifier-3B
updated
a model
19 days ago
opencompass/CompassVerifier-32B
View all activity
Organizations
Sudanl
's Spaces
1
Sort:Â Recently updated
pinned
Sleeping
SAGE Benchmark
🧪
SAGE Scientific Reasoning Benchmark Leaderboard