uw-math-ai/theorem-matching
Viewer • Updated • 101k • 108 • 3
Edit Datasets filters
Active filters: mathlib
princhernwang/mathlib-refactor-history
Viewer • Updated • 81.9k • 26 • 1
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 183 • 2
ChristianZ97/minif2f_test-AlphaRenamed
Viewer • Updated • 244 • 32
MathNetwork/MathlibGraph
Preview • Updated • 469
7rouz/lean4
Viewer • Updated • 1 • 52
banach1729/goedel-workbook-lean427
Updated • 1.27k
SJCaldwell/proofjudge
Viewer • Updated • 318 • 78 • 1
adeo1/mathlib_informal_v4.28.0
Viewer • Updated • 183k • 25 • 1
adamtopaz/mathlib_const_deps
Viewer • Updated • 733k • 185
SJCaldwell/proofjudge-eval-traces
Viewer • Updated • 7.84k • 163 • 1
mathlib-initiative/mathlib-const-dep
Viewer • Updated • 783k • 1.02k
mathlib-initiative/mathlib-tactics
Viewer • Updated • 1.99M • 2.01k • 2
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 10.8k • 24
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 81.1k • 134
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 26
ChristianZ97/NuminaMath-LEAN-satp-buffer-discard
Viewer • Updated • 12.6k • 20
mathlib-initiative/mathlib-types
Viewer • Updated • 783k • 945
leanpolish-anon/lean-proof-compression
Viewer • Updated • 99k • 358 • 1
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer • Updated • 47k • 346
1337xyz1337xyz/leandojo-benchmark4-v10
Viewer • Updated • 251k • 134 • 1
anon-mlib-d3a4/MathlibGraph
Preview • Updated • 62
scicraft/LeanCat
Viewer • Updated • 100 • 160
MathlibPR/MathlibPR
Viewer • Updated • 57.4k • 503
taoanalysisbench/TaoAnalysisBench
Updated • 21
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated • 59
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer • Updated • 311k • 62 • 1
uw-math-ai/grothendieck-vanishing-logs
Viewer • Updated • 53.7k • 54 • 1
uw-math-ai/Math2Vec-embedding-dataset
Preview • Updated • 66 • 1
adeo1/mathlib_informal_v4.15.0
Viewer • Updated • 170k • 30