Hugging Face's logo
Qi Liu (SJTU & SII)'s picture
1 47 15

Qi Liu (SJTU & SII)

purewhite42
BoZhang's profile picture 21world's profile picture
·

AI & ML interests

Machine Learning, Formal Mathematics CS PhD Student @ ReThinklab, SJTU and SII (an institution dedicated to innovation in education and research in the field of AI)

Recent Activity

upvoted a paper 2 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
upvoted a paper 17 days ago
GDPO: Group reward-Decoupled Normalization Policy Optimization for Multi-reward RL Optimization
upvoted a paper about 1 month ago
LLaDA2.0: Scaling Up Diffusion Language Models to 100B
View all activity

Organizations

Shanghai Jiao Tong University's profile picture Shanghai Jiaotong University 1(NOT OFFICIAL)'s profile picture Alpha-Innovator Lab's profile picture