Hugging Face's logo
ZihaoZhou's picture
1 10 2

ZihaoZhou

ZihaoZhou
Sudanl's profile picture hanquansanren's profile picture
·
https://zhouzihao501.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper 13 days ago
Aletheia tackles FirstProof autonomously
upvoted a paper about 1 month ago
Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations
upvoted a paper about 2 months ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
View all activity

Organizations

Project-Numina's profile picture PremiLab-Math's profile picture F1-Reasoner's profile picture