Project-Numina

Team

non-profit

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

LxYxvv updated a dataset about 1 month ago

AI-MO/olympiads-ref-base

LxYxvv updated a dataset about 1 month ago

AI-MO/olympiads-ref

ranWang updated a dataset about 1 month ago

AI-MO/olympiads-ref-base

View all activity

Articles

Kimina-Prover-RL

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

Collections 4

View 4 collections

models 14

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated Aug 14 • 7.62k • 8

AI-MO/Kimina-Prover-RL-0.6B

0.8B • Updated Aug 14 • 214 • 4

AI-MO/Kimina-Prover-Distill-0.6B

Text Generation • 0.8B • Updated Aug 14 • 859 • 1

AI-MO/Kimina-Prover-Distill-1.7B

Text Generation • 2B • Updated Jul 10 • 4.03k • • 7

AI-MO/Kimina-Prover-Distill-8B

Text Generation • 8B • Updated Jul 10 • 1.4k • • 8

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 360k • • 31

AI-MO/Kimina-Prover-Preview-Distill-7B

Text Generation • 8B • Updated Apr 17 • 309 • • 35

AI-MO/Kimina-Prover-Preview-Distill-1.5B

Text Generation • 2B • Updated Apr 16 • 532 • 10

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16 • 364 • • 15

AI-MO/NuminaMath-7B-TIR

Text Generation • 7B • Updated Aug 14, 2024 • 137 • 350

datasets 14

AI-MO/olympiads-ref-base

Viewer • Updated about 1 month ago • 13.1k • 102

AI-MO/olympiads-ref

Viewer • Updated about 1 month ago • 13.1k • 6.09k

AI-MO/Kimina-Prover-Promptset

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

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 509 • 47

AI-MO/GeometryLeanBench

Viewer • Updated Jul 23 • 122 • 36

AI-MO/CombiBench

Viewer • Updated Jul 13 • 200 • 154 • 10

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 818 • 6

AI-MO/aimo-validation-amc

Viewer • Updated May 7 • 83 • 700 • 16

AI-MO/aimo-validation-aime

Viewer • Updated May 7 • 90 • 7.3k • 61

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 1.68k • 163

View 14 datasets