ZihaoZhou
ZihaoZhou
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 20 hours ago
Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations
upvoted
a
paper
16 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
submitted
a paper
16 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Organizations
