FineEnvs/openai-math
RL Environment • Updated • 369 • 13.7k • 132
Edit Datasets filters
Active filters: lean4
uw-math-ai/FormalArXiv
Updated • 114 • 3
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 125 • 3
Goedel-LM/RL_dataset_V2
Viewer • Updated • 98.6k • 144 • 3
connorolson/lean4-subgoal-completions
Preview • Updated • 55 • 2
callensxavier/socrateai-fricke-involution
Viewer • Updated • 3 • 100 • 1
stillrolli/PSEB
Viewer • Updated • 262k • 55 • 1
quinn-dougherty/fvapps
Viewer • Updated • 4.72k • 32 • 7
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 35
phanerozoic/Lean4-Changelog-QA
Viewer • Updated • 2k • 51 • 1
Goedel-LM/MathOlympiadBench
Viewer • Updated • 360 • 699 • 17
GuoxinChen/ConsistencyCheck
Viewer • Updated • 859 • 55 • 5
purewhite42/CoPA_Dataset
Viewer • Updated • 9.83M • 67
nvidia/Nemotron-Math-Proofs-v1
Viewer • Updated • 925k • 1.3k • 129
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 43
phanerozoic/Lean4-Batteries
Viewer • Updated • 3.06k • 63
phanerozoic/Lean4-Aesop
Viewer • Updated • 1.98k • 29
phanerozoic/Lean4-ProofWidgets
Viewer • Updated • 306 • 12
phanerozoic/Lean4-Qq
Viewer • Updated • 181 • 30
phanerozoic/Lean4-LeanSAT
Viewer • Updated • 1.77k • 18
phanerozoic/Lean4-PhysLean
Viewer • Updated • 10.3k • 143
phanerozoic/Lean4-SciLean
Viewer • Updated • 4.97k • 21
phanerozoic/Lean4-FLT
Viewer • Updated • 1.75k • 30
phanerozoic/Lean4-EquationalTheories
Viewer • Updated • 16.1k • 60
phanerozoic/Lean4-FormalConjectures
Viewer • Updated • 4.56k • 89
phanerozoic/Lean4-CvxLean
Viewer • Updated • 1.24k • 17
phanerozoic/Lean4-LeanCopilot
Viewer • Updated • 136 • 14
phanerozoic/Lean4-Quote4
Viewer • Updated • 181 • 26
phanerozoic/Lean4-Paperproof
Viewer • Updated • 150 • 18
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer • Updated • 108k • 29