Shudong Liu
Sudanl
AI & ML interests
NLP, LLM
Recent Activity
upvoted
a
paper
about 7 hours ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
updated
a model
18 days ago
opencompass/CompassVerifier-3B
updated
a model
18 days ago
opencompass/CompassVerifier-32B
Organizations
