Informal Datasets
AI4M
university
AI & ML interests
None defined yet.
models
None public yet
datasets
24
pkuAI4M/premise_selection_1031
Viewer
•
Updated
•
383k
•
6
pkuAI4M/premise_selection_full_1029
Viewer
•
Updated
•
351k
•
7
pkuAI4M/premise_selection_1029_0
Viewer
•
Updated
•
357k
•
7
pkuAI4M/DPO_test_0929
Viewer
•
Updated
•
1.12M
•
30
pkuAI4M/algebra_exercises_v4_11_0_cleaner
Viewer
•
Updated
•
1.91k
•
22
pkuAI4M/temp_exthm
Viewer
•
Updated
•
30
•
34
pkuAI4M/benchmark_0908
Viewer
•
Updated
•
2.6k
•
34
pkuAI4M/extract_theorem_benchmark
Viewer
•
Updated
•
307
•
34
pkuAI4M/extract_mathlib_v4_11_0_validated
Viewer
•
Updated
•
2.83M
•
12
pkuAI4M/o1_preview_test
Viewer
•
Updated
•
94
•
33