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 about 1 month ago
AI-MO/aops
lewtun  submitted a paper 3 months ago
Single-minus gluon tree amplitudes are nonzero
lewtun  submitted a paper 3 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