Shudong Liu's picture

Shudong Liu

Sudanl

·

http://sudanl.github.io

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

commented a paper 6 months ago

CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward

Paper • 2508.03686 • Published Aug 5, 2025 • 39 •

New activity in nvidia/Nemotron-CrossThink 8 months ago

It seems that the train_qa subset only contains multiple-choice questions

#4 opened 8 months ago by