ZihaoZhou
ZihaoZhou
AI & ML interests
None yet
Recent Activity
upvoted a paper 4 days ago
Aletheia tackles FirstProof autonomously upvoted a paper 25 days ago
Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations upvoted a paper about 1 month ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics Organizations
