Hugging Face's logo
qy's picture
9

qy

qingyuanwu
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper 4 days ago
Group Sequence Policy Optimization
upvoted a paper 4 days ago
MUR: Momentum Uncertainty guided Reasoning for Large Language Models
upvoted a paper 5 days ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
View all activity

Organizations

None yet