Kimina-Prover-RL
•
12
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
Articles
models
14
AI-MO/Kimina-Prover-RL-1.7B
2B
•
Updated
•
7.47k
•
8
AI-MO/Kimina-Prover-RL-0.6B
0.8B
•
Updated
•
300
•
4
AI-MO/Kimina-Prover-Distill-0.6B
Text Generation
•
0.8B
•
Updated
•
254
•
1
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation
•
2B
•
Updated
•
1.2k
•
•
8
AI-MO/Kimina-Prover-Distill-8B
Text Generation
•
8B
•
Updated
•
1.09k
•
•
9
AI-MO/Kimina-Prover-72B
Text Generation
•
73B
•
Updated
•
603k
•
•
32
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation
•
8B
•
Updated
•
305
•
•
36
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation
•
2B
•
Updated
•
24
•
10
AI-MO/Kimina-Autoformalizer-7B
Text Generation
•
8B
•
Updated
•
295
•
•
16
AI-MO/NuminaMath-7B-TIR
Text Generation
•
7B
•
Updated
•
79
•
348
datasets
14
AI-MO/olympiads-ref-base
Viewer
•
Updated
•
13.1k
•
105
AI-MO/olympiads-ref
Viewer
•
Updated
•
13.1k
•
1.53k
AI-MO/Kimina-Prover-Promptset
Viewer
•
Updated
•
24.4k
•
133
•
1
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
•
104k
•
545
•
46
AI-MO/GeometryLeanBench
Viewer
•
Updated
•
122
•
37
AI-MO/CombiBench
Viewer
•
Updated
•
200
•
155
•
10
AI-MO/minif2f_test
Viewer
•
Updated
•
244
•
486
•
6
AI-MO/aimo-validation-amc
Viewer
•
Updated
•
83
•
772
•
16
AI-MO/aimo-validation-aime
Viewer
•
Updated
•
90
•
8.57k
•
60
AI-MO/NuminaMath-1.5
Viewer
•
Updated
•
896k
•
2.11k
•
163