Informal Datasets
AI4M
university
AI & ML interests
None defined yet.
models
None public yet
datasets
20
pkuAI4M/DPO_test_0929
Viewer
•
Updated
•
1.12M
•
16
pkuAI4M/algebra_exercises_v4_11_0_cleaner
Viewer
•
Updated
•
1.91k
•
20
pkuAI4M/temp_exthm
Viewer
•
Updated
•
30
•
32
pkuAI4M/benchmark_0908
Viewer
•
Updated
•
2.6k
•
35
pkuAI4M/extract_theorem_benchmark
Viewer
•
Updated
•
307
•
34
pkuAI4M/o1_preview_test
Viewer
•
Updated
•
94
•
33
pkuAI4M/options_theorems_0908
Viewer
•
Updated
•
339k
•
31
pkuAI4M/Extracted_ex_test0908
Viewer
•
Updated
•
580
•
33
pkuAI4M/threom_ex_en_0908_test_2
Viewer
•
Updated
•
97.8k
•
39
pkuAI4M/threom_ex_en_0908_test
Viewer
•
Updated
•
32