Hugging Face's logo

Project-Numina
Team
non-profit
Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity
lewtun  submitted a paper about 1 month ago
Single-minus gluon tree amplitudes are nonzero
lewtun  submitted a paper about 1 month ago
Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL
lewtun  updated a dataset about 2 months 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

AI-MO 's Papers 1