FineEnvs/openai-math
RL Environment • Updated • 369 • 21.1k • 135
Edit Datasets filters
Active filters: lean4
arkhenomia/arkheion
Viewer • Updated • 368 • 176 • 1
quinn-dougherty/fvapps
Viewer • Updated • 4.72k • 76 • 7
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 66
phanerozoic/Lean4-Changelog-QA
Viewer • Updated • 2k • 65 • 1
Goedel-LM/MathOlympiadBench
Viewer • Updated • 360 • 405 • 17
GuoxinChen/ConsistencyCheck
Viewer • Updated • 859 • 83 • 5
purewhite42/CoPA_Dataset
Viewer • Updated • 9.83M • 126
nvidia/Nemotron-Math-Proofs-v1
Viewer • Updated • 925k • 1.42k • 127
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 233 • 3
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 101
phanerozoic/Lean4-Batteries
Viewer • Updated • 3.06k • 101
phanerozoic/Lean4-Aesop
Viewer • Updated • 1.98k • 32
phanerozoic/Lean4-ProofWidgets
Viewer • Updated • 306 • 26
phanerozoic/Lean4-Qq
Viewer • Updated • 181 • 29
phanerozoic/Lean4-LeanSAT
Viewer • Updated • 1.77k • 26
phanerozoic/Lean4-PhysLean
Viewer • Updated • 10.3k • 156
phanerozoic/Lean4-SciLean
Viewer • Updated • 4.97k • 21
phanerozoic/Lean4-FLT
Viewer • Updated • 1.75k • 46
phanerozoic/Lean4-EquationalTheories
Viewer • Updated • 16.1k • 49
phanerozoic/Lean4-FormalConjectures
Viewer • Updated • 4.56k • 82
phanerozoic/Lean4-CvxLean
Viewer • Updated • 1.24k • 14
phanerozoic/Lean4-LeanCopilot
Viewer • Updated • 136 • 20
phanerozoic/Lean4-Quote4
Viewer • Updated • 181 • 33
phanerozoic/Lean4-Paperproof
Viewer • Updated • 150 • 15
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer • Updated • 108k • 38
introspector/meta-meme
Viewer • Updated • 2.18k • 28 • 1
Benchify/BuddenBench
Viewer • Updated • 2.12k • 69
CloK-Lab/MathlibGraph
Preview • Updated • 978
yuanhezhang/lean4-stat-learning-theory-novel
Viewer • Updated • 865 • 176