Informal Datasets
AI4M
university
AI & ML interests
None defined yet.
models
None public yet
datasets
18
pkuAI4M/algebra_exercises_v4_11_0_cleaner
Viewer
•
Updated
•
1.91k
pkuAI4M/temp_exthm
Viewer
•
Updated
•
30
pkuAI4M/benchmark_0908
Viewer
•
Updated
•
2.6k
•
1
pkuAI4M/extract_theorem_benchmark
Viewer
•
Updated
•
307
pkuAI4M/o1_preview_test
Viewer
•
Updated
•
94
pkuAI4M/options_theorems_0908
Viewer
•
Updated
•
339k
•
4
pkuAI4M/Extracted_ex_test0908
Viewer
•
Updated
•
580
•
2
pkuAI4M/threom_ex_en_0908_test_2
Viewer
•
Updated
•
97.8k
•
5
pkuAI4M/threom_ex_en_0908_test
Viewer
•
Updated
pkuAI4M/informal_mathlib_watch
Viewer
•
Updated
•
100
•
2