F1-Reasoner

AI & ML interests

None defined yet.

Recent Activity

PeterV09  submitted a paper about 1 month ago

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

ZihaoZhou  submitted a paper about 2 months ago

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

ZihaoZhou  updated a dataset 4 months ago

F1-Reasoner/Syn-Mix

View all activity

Team members 3