YIN Zijun
yinzijun
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
5 days ago
VeriGUI: Verifiable Long-Chain GUI Dataset
upvoted
a
paper
about 1 month ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
6 months ago
SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
Organizations
None yet