Kimina-Prover-RL
• 16
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
Papers
View all Papers Articles
AI-MO/B2-UniMath
Viewer • Updated • 4.29M • 10
AI-MO/aops
Viewer • Updated • 80.7k • 1.11k • 5
AI-MO/NuminaMath-1.5
Viewer • Updated • 896k • 6.22k • 186
AI-MO/olympiads-ref-base
Viewer • Updated • 13.1k • 173 • 2
AI-MO/olympiads
Preview • Updated • 22k • 5
AI-MO/Kimina-Prover-Promptset
Viewer • Updated • 24.4k • 156 • 2
AI-MO/NuminaMath-LEAN
Viewer • Updated • 104k • 554 • 57
AI-MO/GeometryLeanBench
Viewer • Updated • 122 • 32 • 1
AI-MO/CombiBench
Viewer • Updated • 200 • 208 • 12
AI-MO/minif2f_test
Viewer • Updated • 244 • 633 • 9
AI-MO/CC-MAIN-pdf-url
Viewer • Updated • 929M • 663
AI-MO/aimo-validation-amc
Viewer • Updated • 83 • 4.2k • 17
AI-MO/aimo-validation-aime
Viewer • Updated • 90 • 23.5k • 68
AI-MO/NuminaMath-TIR
Viewer • Updated • 72.5k • 3.96k • 150
AI-MO/NuminaMath-CoT
Viewer • Updated • 860k • 53.9k • 575
AI-MO/aimo-validation-math-level-4
Viewer • Updated • 754 • 192 • 4
AI-MO/aimo-validation-math-level-5
Viewer • Updated • 721 • 198 • 11