YIN Zijun
yinzijun
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 7 hours ago
VeriGUI: Verifiable Long-Chain GUI Dataset
upvoted
a
paper
29 days 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