YIN Zijun
yinzijun
·
AI & ML interests
None yet
Recent Activity
liked
a dataset
2 days ago
m-a-p/PIN-14M
upvoted
a
paper
about 1 month ago
VeriGUI: Verifiable Long-Chain GUI Dataset
upvoted
a
paper
2 months ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
Organizations
None yet