pkuAI4M/informal_mathlib_watch
Viewer • Updated • 100 • 4
AI4M
university
AI & ML interests
None defined yet.
pkuAI4M/options_theorem_tagged
Viewer • Updated • 290k • 50
pkuAI4M/minif2f-lean4-normalized
Viewer • Updated • 488 • 21 • 4
pkuAI4M/algebra_exercises_v4_11_0_filtered
Viewer • Updated • 1.6k • 4
pkuAI4M/LeanWorkbook
Viewer • Updated • 140k • 39
pkuAI4M/Lean-Github-Big
Viewer • Updated • 73.9k • 9
pkuAI4M/AOPS
Viewer • Updated • 3.89k • 619 • 2
pkuAI4M/test_extract_mathlib_notype
Viewer • Updated • 2.83M • 9
pkuAI4M/options_theorems_def_v1_tagged
Viewer • Updated • 78.8k • 47
pkuAI4M/options_theorems_v1
Viewer • Updated • 290k • 48
pkuAI4M/Extracted_QA_ann0813_en
Viewer • Updated • 105k • 4
pkuAI4M/threom_chunk_en_0813
Viewer • Updated • 110k • 6