Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
23
10
Shudong Liu
Sudanl
Follow
KennyUTC's profile picture
Ahren09's profile picture
dark-pen's profile picture
6 followers
·
6 following
http://sudanl.github.io
shudong_liu
Sudanl
AI & ML interests
NLP, LLM
Recent Activity
upvoted
a
paper
4 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
updated
a model
22 days ago
opencompass/CompassVerifier-3B
updated
a model
22 days ago
opencompass/CompassVerifier-32B
View all activity
Organizations
Sudanl
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a Space
about 1 month ago
Sleeping
3
ATLAS Benchmark
🧪
3
ATLAS for Frontier Scientific Benchmark
liked
a model
4 months ago
opencompass/CompassVerifier-3B
3B
•
Updated
22 days ago
•
627
•
7
liked
a dataset
5 months ago
nvidia/HelpSteer2
Viewer
•
Updated
Dec 18, 2024
•
21.4k
•
22.1k
•
438
liked
a model
5 months ago
internlm/Intern-S1-mini
Image-Text-to-Text
•
9B
•
Updated
Oct 31, 2025
•
1.8k
•
105
liked
2 models
7 months ago
opencompass/CompassVerifier-7B
8B
•
Updated
Nov 26, 2025
•
1.33k
•
4
opencompass/CompassVerifier-32B
33B
•
Updated
22 days ago
•
11
•
7
liked
a dataset
11 months ago
HuggingFaceH4/MATH-500
Viewer
•
Updated
Dec 15, 2025
•
500
•
105k
•
283
liked
a dataset
over 1 year ago
openai/MMMLU
Viewer
•
Updated
Oct 16, 2024
•
393k
•
10.4k
•
514
liked
a model
over 1 year ago
SeaLLMs/SeaLLMs-v3-7B-Chat
Text Generation
•
8B
•
Updated
Sep 2, 2024
•
461
•
•
67
liked
a dataset
over 1 year ago
PremiLab-Math/MathCheck
Updated
Jul 12, 2024
•
93
•
3