Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Project-Numina
Team
non-profit
Activity Feed
Request to join this org
Follow
437
AI & ML interests
None defined yet.
Recent Activity
liyongsea
published
a dataset
21 minutes ago
AI-MO/aops_raw
LxYxvv
updated
a dataset
about 8 hours ago
AI-MO/aops_raw
LxYxvv
updated
a dataset
about 1 month ago
AI-MO/olympiads-ref-base
View all activity
Articles
Kimina-Prover-RL
Aug 14
•
12
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
Jul 10
•
53
Team members
40
+6
AI-MO
's datasets
15
Sort: Recently updated
AI-MO/aops_raw
Viewer
•
Updated
about 8 hours ago
•
80.7k
•
1
AI-MO/olympiads-ref-base
Viewer
•
Updated
Nov 6
•
13.1k
•
104
AI-MO/olympiads-ref
Viewer
•
Updated
Nov 6
•
13.1k
•
7.96k
AI-MO/Kimina-Prover-Promptset
Viewer
•
Updated
Aug 13
•
24.4k
•
112
•
1
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
Jul 31
•
104k
•
570
•
47
AI-MO/GeometryLeanBench
Viewer
•
Updated
Jul 23
•
122
•
36
AI-MO/CombiBench
Viewer
•
Updated
Jul 13
•
200
•
176
•
10
AI-MO/minif2f_test
Viewer
•
Updated
Jul 4
•
244
•
838
•
6
AI-MO/aimo-validation-amc
Viewer
•
Updated
May 7
•
83
•
821
•
16
AI-MO/aimo-validation-aime
Viewer
•
Updated
May 7
•
90
•
6.79k
•
61
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Feb 10
•
896k
•
1.66k
•
163
AI-MO/NuminaMath-TIR
Viewer
•
Updated
Nov 25, 2024
•
72.5k
•
2.94k
•
140
AI-MO/NuminaMath-CoT
Viewer
•
Updated
Nov 25, 2024
•
860k
•
11.5k
•
510
AI-MO/aimo-validation-math-level-4
Viewer
•
Updated
Jul 10, 2024
•
754
•
90
•
3
AI-MO/aimo-validation-math-level-5
Viewer
•
Updated
Jul 10, 2024
•
721
•
330
•
10