AI & ML interests

None defined yet.

Recent Activity

lewtun  submitted a paper 11 days ago

Single-minus gluon tree amplitudes are nonzero

lewtun  submitted a paper 12 days ago

Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL

lewtun  updated a dataset 26 days ago

AI-MO/NuminaMath-1.5

View all activity

Papers

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

View all Papers

Articles

Team members 42