openbmb/MA-ProofBench
Viewer • Updated • 200 • 192 • 6
Edit Datasets filters
Active filters: mathlib
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer • Updated • 311k • 94 • 1
uw-math-ai/Math2Vec-embedding-dataset
Preview • Updated • 111 • 1
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 125 • 2
ChristianZ97/minif2f_test-AlphaRenamed
Viewer • Updated • 244 • 7
MathNetwork/MathlibGraph
Preview • Updated • 991
7rouz/lean4
Viewer • Updated • 1 • 12
banach1729/goedel-workbook-lean427
Updated • 1.19k
SJCaldwell/proofjudge
Viewer • Updated • 200 • 21 • 1
adeo1/mathlib_informal_v4.28.0
Viewer • Updated • 183k • 27 • 1
adamtopaz/mathlib_const_deps
Viewer • Updated • 733k • 112
SJCaldwell/proofjudge-eval-traces
Viewer • Updated • 2.71k • 54
mathlib-initiative/mathlib-const-dep
Viewer • Updated • 766k • 998
mathlib-initiative/mathlib-tactics
Viewer • Updated • 1.91M • 1.63k
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 10.8k • 255
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 81.1k • 268
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 338
ChristianZ97/NuminaMath-LEAN-satp-buffer-discard
Viewer • Updated • 12.6k • 22
mathlib-initiative/mathlib-types
Viewer • Updated • 766k • 827
leanpolish-anon/lean-proof-compression
Viewer • Updated • 99k • 393 • 2
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer • Updated • 47k • 30
1337xyz1337xyz/leandojo-benchmark4-v10
Viewer • Updated • 251k • 128
anon-mlib-d3a4/MathlibGraph
Preview • Updated • 119
scicraft/LeanCat
Viewer • Updated • 100 • 108
MathlibPR/MathlibPR
Viewer • Updated • 57.4k • 195
taoanalysisbench/TaoAnalysisBench
Updated • 99
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated • 321
uw-math-ai/grothendieck-vanishing-logs
Viewer • Updated • 53.7k • 189
adeo1/mathlib_informal_v4.15.0
Viewer • Updated • 170k • 41
adeo1/mathlib_informal_v4.24.0
Viewer • Updated • 190k • 42