Informal Datasets
AI4M
university
AI & ML interests
None defined yet.
models
None public yet
datasets
26
pkuAI4M/premise-selection_train_with_hn
Viewer
•
Updated
•
364k
•
5
pkuAI4M/premise_selection_1031
Viewer
•
Updated
•
383k
•
16
pkuAI4M/premise_selection_trunc_1030_splited
Viewer
•
Updated
•
407k
•
13
pkuAI4M/premise_selection_full_1029
Viewer
•
Updated
•
351k
•
16
pkuAI4M/premise_selection_1029_0
Viewer
•
Updated
•
357k
•
16
pkuAI4M/DPO_test_0929
Viewer
•
Updated
•
1.12M
•
32
pkuAI4M/algebra_exercises_v4_11_0_cleaner
Viewer
•
Updated
•
1.91k
•
28
pkuAI4M/temp_exthm
Viewer
•
Updated
•
30
•
32
pkuAI4M/benchmark_0908
Viewer
•
Updated
•
2.6k
•
33
pkuAI4M/extract_theorem_benchmark
Viewer
•
Updated
•
307
•
32