AI & ML interests

None defined yet.

Recent Activity

PeterV09  submitted a paper 15 days ago

Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations

ZihaoZhou  submitted a paper 30 days ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

ZihaoZhou  updated a dataset 3 months ago

F1-Reasoner/Syn-Mix

View all activity

Team members 3