Shudong Liu's picture

Shudong Liu

Sudanl

·

http://sudanl.github.io

AI & ML interests

NLP, LLM

Recent Activity

upvoted a paper 5 days ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

updated a model 23 days ago

opencompass/CompassVerifier-3B

updated a model 23 days ago

opencompass/CompassVerifier-32B

View all activity

Organizations

Sudanl 's datasets

None public yet