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  updated a dataset 12 days ago
AI-MO/aops
lewtun  submitted a paper about 2 months ago
Single-minus gluon tree amplitudes are nonzero
lewtun  submitted a paper about 2 months ago
Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL
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