AI4Math/IneqMath
Preview • Updated • 876 • 13
Edit Datasets filters
Active filters: theorem-proving
nvidia/Nemotron-Math-Proofs-v1
Viewer • Updated • 925k • 723 • 123
wellecks/naturalproofs-gen
Viewer • Updated • 29.4k • 92 • 7
wellecks/minif2f_isabelle
Updated • 43
l3lab/ntp-mathlib
Viewer • Updated • 213k • 147 • 2
l3lab/ntp-mathlib-instruct-st
Viewer • Updated • 307k • 96
l3lab/ntp-mathlib-instruct-context
Viewer • Updated • 614k • 53 • 1
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer • Updated • 144k • 56 • 1
phanerozoic/Coq-HoTT
Viewer • Updated • 12.7k • 55 • 3
phanerozoic/Coq-HoTT-QA
Viewer • Updated • 7.83k • 43
phanerozoic/Coq-UniMath
Viewer • Updated • 51.2k • 31
phanerozoic/Coq-UniMath-QA
Viewer • Updated • 38.6k • 16 • 1
phanerozoic/Coq-MetaCoq
Viewer • Updated • 16.6k • 13
phanerozoic/Coq-MetaCoq-QA
Viewer • Updated • 10.5k • 23
phanerozoic/Coq-Changelog
Viewer • Updated • 1.21k • 19
phanerozoic/Coq-Changelog-QA
Viewer • Updated • 822 • 17
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 39
phanerozoic/Lean4-Changelog-QA
Viewer • Updated • 2k • 14 • 1
Tonic/MiniF2F
Viewer • Updated • 488 • 300 • 7
englund/quantum-lean-hard-vvuq-dataset
Viewer • Updated • 11 • 16
Tencent-IMO/IMO-Lemmas
Viewer • Updated • 667 • 44 • 3
Goedel-LM/MathOlympiadBench
Viewer • Updated • 360 • 148 • 17
CoderBak/minif2f
Viewer • Updated • 488 • 51
roozbeh-yz/miniF2F_v2
Preview • Updated • 169 • 1
sabakublashvili/idef-geobench
Viewer • Updated • 462 • 46
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 821 • 2
phanerozoic/Coq-Stdlib
Viewer • Updated • 18.4k • 27
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 34
phanerozoic/Agda-Stdlib
Viewer • Updated • 10.8k • 29
phanerozoic/Isabelle-AFP
Viewer • Updated • 352k • 13