Project-Numina

Team

non-profit

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

ZihaoZhou submitted a paper 16 minutes 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 datasets 15

AI-MO/aops_raw

Viewer • Updated Dec 12, 2025 • 80.7k • 128 • 2

AI-MO/olympiads-ref-base

Viewer • Updated Nov 6, 2025 • 13.1k • 58 • 1

AI-MO/olympiads-ref

Viewer • Updated Nov 6, 2025 • 13.1k • 9.22k • 4

AI-MO/Kimina-Prover-Promptset

Viewer • Updated Aug 13, 2025 • 24.4k • 126 • 1

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 500 • 52

AI-MO/GeometryLeanBench

Viewer • Updated Jul 23, 2025 • 122 • 13

AI-MO/CombiBench

Viewer • Updated Jul 13, 2025 • 200 • 90 • 11

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 527 • 9

AI-MO/aimo-validation-amc

Viewer • Updated May 7, 2025 • 83 • 1.31k • 16

AI-MO/aimo-validation-aime

Viewer • Updated May 7, 2025 • 90 • 6.43k • 65

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10, 2025 • 896k • 1.52k • 167

AI-MO/NuminaMath-TIR

Viewer • Updated Nov 25, 2024 • 72.5k • 2.52k • 141

AI-MO/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 10.8k • 528

AI-MO/aimo-validation-math-level-4

Viewer • Updated Jul 10, 2024 • 754 • 28 • 4

AI-MO/aimo-validation-math-level-5

Viewer • Updated Jul 10, 2024 • 721 • 76 • 11