Hugging Face's logo

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

AI & ML interests

None defined yet.

Recent Activity
friederrr  updated a dataset about 1 month ago
AI-MO/B2-UniMath
liyongsea  published a dataset about 1 month ago
AI-MO/B2-UniMath
philip-vonderlind  updated a dataset about 1 month ago
AI-MO/B2-UniMath
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