Hugging Face's logo
haodi lei's picture
In a Training Loop 🔄
7 19 1

haodi lei

bingyang-lei
zzzhr97's profile picture olka-fi's profile picture specimba's profile picture
·
https://www.haodilei.top/

AI & ML interests

None yet

Recent Activity

upvoted a paper 6 days ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
upvoted a paper 6 days ago
FORT-Searcher: Synthesizing Shortcut-Resistant Search Tasks for Training Deep Search Agents
upvoted a paper 6 days ago
MiniMax Sparse Attention
View all activity

Organizations

Shanghai Jiao Tong University's profile picture C3I-Pretrain-HF's profile picture