Project-Numina

non-profit

Activity Feed Request to join this org

AI & ML interests

None defined yet.

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