FineEnvs/openai-math
RL Environment • Updated • 369 • 20.6k • 134
Edit Datasets filters
Active filters: theorem-proving
tencent/ExplorationBench
Viewer • Updated • 27 • 819 • 3
wellecks/naturalproofs-gen
Viewer • Updated • 29.4k • 344 • 8
wellecks/minif2f_isabelle
Updated • 38
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
phanerozoic/Coq-HoTT
Viewer • Updated • 12.7k • 36 • 3
phanerozoic/Coq-HoTT-QA
Viewer • Updated • 7.83k • 49
phanerozoic/Coq-UniMath
Viewer • Updated • 51.2k • 46
phanerozoic/Coq-UniMath-QA
Viewer • Updated • 38.6k • 35 • 1
phanerozoic/Coq-MetaCoq
Viewer • Updated • 16.6k • 65 • 1
phanerozoic/Coq-MetaCoq-QA
Viewer • Updated • 10.5k • 28
phanerozoic/Coq-Changelog
Viewer • Updated • 1.21k • 135
phanerozoic/Coq-Changelog-QA
Viewer • Updated • 822 • 39
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 65
phanerozoic/Lean4-Changelog-QA
Viewer • Updated • 2k • 65 • 1
Tonic/MiniF2F
Viewer • Updated • 488 • 145 • 9
AI4Math/IneqMath
Preview • Updated • 1.69k • 13
englund/quantum-lean-hard-vvuq-dataset
Viewer • Updated • 11 • 107 • 1
Tencent-IMO/IMO-Lemmas
Viewer • Updated • 667 • 82 • 3
Goedel-LM/MathOlympiadBench
Viewer • Updated • 360 • 412 • 17
CoderBak/minif2f
Viewer • Updated • 488 • 24
roozbeh-yz/miniF2F_v2
Preview • Updated • 158 • 1
nvidia/Nemotron-Math-Proofs-v1
Viewer • Updated • 925k • 1.42k • 127
sabakublashvili/idef-geobench
Viewer • Updated • 462 • 21
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 237 • 3
phanerozoic/Coq-Stdlib
Viewer • Updated • 18.4k • 38
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 96