Project-Numina

Team

non-profit

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

ZihaoZhou submitted a paper 3 days ago

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

liyongsea published a dataset about 1 month ago

AI-MO/aops_raw

LxYxvv updated a dataset about 1 month ago

AI-MO/aops_raw

View all activity

Papers

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

View all Papers

Articles

Kimina-Prover-RL

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

AI-MO 's Papers 1

Submitted by

ZihaoZhou

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

AI-MO