zihan wang
wzzhhh
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
4 days ago
VeriGUI: Verifiable Long-Chain GUI Dataset
upvoted
a
paper
3 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models
upvoted
a
paper
6 months ago
SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
Organizations
