casey-martin/multilingual-mathematical-autoformalization
Viewer • Updated • 666k • 259 • 5
Edit Datasets filters
Active filters: lean
l3lab/ntp-mathlib
Viewer • Updated • 213k • 201 • 2
l3lab/ntp-mathlib-instruct-st
Viewer • Updated • 307k • 143
l3lab/ntp-mathlib-instruct-context
Viewer • Updated • 614k • 204 • 2
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer • Updated • 144k • 87 • 2
quinn-dougherty/fvapps
Viewer • Updated • 4.72k • 59 • 7
ruc-ai4math/mathlib_handler_benchmark_410
Preview • Updated • 496 • 1
englund/quantum-lean-hard-vvuq-dataset
Viewer • Updated • 11 • 107 • 1
ufal/leantree
Preview • Updated • 126 • 2
Kronu/lean-expert-optimized-2000
Viewer • Updated • 2k • 39 • 1
roozbeh-yz/miniF2F_v2
Preview • Updated • 158 • 1
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer • Updated • 108k • 40
iiis-lean/NuminaMath-LEAN-Sol
Viewer • Updated • 81.3k • 99
uw-math-ai/APRIL
Preview • Updated • 718 • 10
iiis-lean/NuminaMath-LEAN-Proof-Artifacts
Viewer • Updated • 73.4k • 952
RickyDeSkywalker/GAR_baseDataset
Viewer • Updated • 781k • 73
RickyDeSkywalker/GAR_baseDataset_NuminaMath
Viewer • Updated • 104k • 68
adeo1/mathlib_informal_v4.28.0
Viewer • Updated • 183k • 41 • 1
lizn-zn/algoveri-lean
Viewer • Updated • 78 • 569
athanor-ai/formal-anytime-valid-stats
Viewer • Updated • 60 • 106
batianxieshen/APRIL
Preview • Updated • 42
1337xyz1337xyz/leandojo-benchmark4-v10
Viewer • Updated • 251k • 297 • 1
neurips-2026-avs-bench/formal-anytime-valid-stats
Viewer • Updated • 60 • 53
anonymous-benchmark/wordbench
Viewer • Updated • 22.2k • 44
fraware/cta-bench
Preview • Updated • 489 • 1
MathlibPR/MathlibPR
Viewer • Updated • 57.4k • 689
taoanalysisbench/TaoAnalysisBench
Updated • 24
JoshuaPinckard/LEAN-Bench
Updated • 7
m-zest/trojanspec-bench
Viewer • Updated • 1.02k • 67
adeo1/mathlib_informal_v4.15.0
Viewer • Updated • 170k • 44