pinned
Sleeping
SAGE Benchmark
🧪
SAGE Scientific Reasoning Benchmark Leaderboard
Shudong Liu
Sudanl
AI & ML interests
NLP, LLM
Recent Activity
upvoted
a
paper
about 11 hours ago
Kimi K2.5: Visual Agentic Intelligence
liked
a model
8 days ago
moonshotai/Kimi-K2.5
upvoted
a
paper
13 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Organizations
