Project-Numina

Team

non-profit

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

liyongsea published a dataset 6 days ago

AI-MO/olympiads-ref-base

thibautbar authored a paper 3 months ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

HaimingW authored a paper 6 months ago

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

View all activity

Articles

Kimina-Prover-RL

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

NuminaMath 是如何荣膺首届 AIMO 进步奖的？

How NuminaMath Won the 1st AIMO Progress Prize

AI-MO 's datasets 13

AI-MO/Kimina-Prover-Promptset

Viewer • Updated Aug 13 • 24.4k • 76 • 1

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 459 • 44

AI-MO/GeometryLeanBench

Viewer • Updated Jul 23 • 122 • 32

AI-MO/CombiBench

Viewer • Updated Jul 13 • 200 • 115 • 10

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 383 • 6

AI-MO/aimo-validation-amc

Viewer • Updated May 7 • 83 • 1.04k • 16

AI-MO/aimo-validation-aime

Viewer • Updated May 7 • 90 • 11k • 57

AI-MO/olympiads-ref-base

Viewer • Updated Apr 8 • 11.8k • 17

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 4.1k • 158

AI-MO/NuminaMath-TIR

Viewer • Updated Nov 25, 2024 • 72.5k • 2.38k • 140

AI-MO/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 12.7k • 500

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

Viewer • Updated Jul 10, 2024 • 754 • 23 • 3

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

Viewer • Updated Jul 10, 2024 • 721 • 180 • 10