Kimina-Prover-RL
•
13
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
View all Papers
Articles
models
14
AI-MO/Kimina-Prover-RL-1.7B
2B
•
Updated
•
1.22k
•
11
AI-MO/Kimina-Prover-RL-0.6B
0.8B
•
Updated
•
293
•
5
AI-MO/Kimina-Prover-Distill-0.6B
Text Generation
•
0.8B
•
Updated
•
875
•
3
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation
•
2B
•
Updated
•
829
•
•
7
AI-MO/Kimina-Prover-Distill-8B
Text Generation
•
8B
•
Updated
•
5.68k
•
•
8
AI-MO/Kimina-Prover-72B
Text Generation
•
73B
•
Updated
•
480
•
•
33
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation
•
8B
•
Updated
•
786
•
•
35
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation
•
2B
•
Updated
•
715
•
11
AI-MO/Kimina-Autoformalizer-7B
Text Generation
•
8B
•
Updated
•
182
•
•
17
AI-MO/NuminaMath-7B-TIR
Text Generation
•
7B
•
Updated
•
351
•
350
datasets
16
AI-MO/NuminaMath-1.5
Viewer
•
Updated
•
896k
•
1.56k
•
172
AI-MO/aops_raw
Viewer
•
Updated
•
80.7k
•
82
•
2
AI-MO/olympiads-ref-base
Viewer
•
Updated
•
13.1k
•
67
•
1
AI-MO/olympiads-ref
Viewer
•
Updated
•
13.1k
•
16.6k
•
4
AI-MO/Kimina-Prover-Promptset
Viewer
•
Updated
•
24.4k
•
109
•
2
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
•
104k
•
770
•
54
AI-MO/GeometryLeanBench
Viewer
•
Updated
•
122
•
17
AI-MO/CombiBench
Viewer
•
Updated
•
200
•
73
•
11
AI-MO/minif2f_test
Viewer
•
Updated
•
244
•
271
•
9
AI-MO/CC-MAIN-pdf-url
Viewer
•
Updated
•
929M
•
32