Project-Numina

Team

non-profit

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

liyongsea published a dataset 8 days ago

AI-MO/olympiads-ref-base

thibautbar authored a paper 4 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 models 14

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

2B • Updated Aug 14 • 79 • 7

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

0.8B • Updated Aug 14 • 116 • 4

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

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

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

Text Generation • 2B • Updated Jul 10 • 655 • • 8

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

Text Generation • 8B • Updated Jul 10 • 863 • • 9

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 94k • • 30

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

Text Generation • 8B • Updated Apr 17 • 4.59k • • 36

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

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

AI-MO/Kimina-Autoformalizer-7B

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

AI-MO/NuminaMath-7B-TIR

Text Generation • 7B • Updated Aug 14, 2024 • 69 • 348

AI-MO/NuminaMath-72B-TIR

Text Generation • 73B • Updated Jul 19, 2024 • 9

AI-MO/NuminaMath-72B-CoT

Text Generation • 73B • Updated Jul 19, 2024 • 2 • 4

AI-MO/NuminaMath-7B-CoT

Text Generation • 7B • Updated Jul 19, 2024 • 32 • 25

AI-MO/NuminaMath-7B-TIR-GPTQ

Text Generation • Updated Jul 9, 2024 • 1 • 7