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

project-numina 's models 14

project-numina/Kimina-Prover-RL-1.7B

2B • Updated Aug 14, 2025 • 113 • 11

project-numina/Kimina-Prover-RL-0.6B

0.8B • Updated Aug 14, 2025 • 57 • 5

project-numina/Kimina-Prover-Distill-0.6B

Text Generation • 0.8B • Updated Aug 14, 2025 • 617 • • 3

project-numina/Kimina-Prover-Distill-1.7B

Text Generation • 2B • Updated Jul 10, 2025 • 455 • • 7

project-numina/Kimina-Prover-Distill-8B

Text Generation • 8B • Updated Jul 10, 2025 • 502 • • 7

project-numina/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 118 • 35

project-numina/Kimina-Prover-Preview-Distill-7B

Text Generation • 8B • Updated Apr 17, 2025 • 196 • • 36

project-numina/Kimina-Prover-Preview-Distill-1.5B

Text Generation • 2B • Updated Apr 16, 2025 • 584 • • 12

project-numina/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 133 • • 21

project-numina/NuminaMath-7B-TIR

Text Generation • 7B • Updated Aug 14, 2024 • 4.5k • 352

project-numina/NuminaMath-72B-TIR

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

project-numina/NuminaMath-72B-CoT

Text Generation • 73B • Updated Jul 19, 2024 • 36 • • 7

project-numina/NuminaMath-7B-CoT

Text Generation • 7B • Updated Jul 19, 2024 • 230 • 26

project-numina/NuminaMath-7B-TIR-GPTQ

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