Kimina-Prover-RL
• 17
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Papers
View all Papers Articles
project-numina/PolyUniMath
Viewer • Updated • 4.29M • 261 • 1
project-numina/aops
Viewer • Updated • 80.7k • 31.6k • 9
project-numina/NuminaMath-1.5
Viewer • Updated • 896k • 61.9k • 206
project-numina/olympiads-ref-base
Viewer • Updated • 13.1k • 329 • 2
project-numina/olympiads
Viewer • Updated • 13.1k • 120k • 19
project-numina/Kimina-Prover-Promptset
Viewer • Updated • 24.4k • 667 • 3
project-numina/NuminaMath-LEAN
Viewer • Updated • 104k • 2.38k • 63
project-numina/GeometryLeanBench
Viewer • Updated • 122 • 100 • 1
project-numina/CombiBench
Viewer • Updated • 200 • 448 • 12
project-numina/minif2f_test
Viewer • Updated • 244 • 412 • 9
project-numina/CC-MAIN-pdf-url
Viewer • Updated • 929M • 189 • 1
project-numina/aimo-validation-amc
Viewer • Updated • 83 • 4.99k • 19
project-numina/aimo-validation-aime
Viewer • Updated • 90 • 27.5k • 69
project-numina/NuminaMath-TIR
Viewer • Updated • 72.5k • 5.24k • 166
project-numina/NuminaMath-CoT
Viewer • Updated • 860k • 188k • 619
project-numina/aimo-validation-math-level-4
Viewer • Updated • 754 • 116 • 4
project-numina/aimo-validation-math-level-5
Viewer • Updated • 721 • 621 • 11