open-thoughts/OpenThoughts3-1.2M
Viewer • Updated • 1.2M • 22.1k • 275
Edit Datasets filters
Active filters: mathematics
Eedi/Eedi-Misconceptions-Graph
Viewer • Updated • 21.6k • 533 • 3
pavelslab-nyu/LeanPRM
Viewer • Updated • 10.6k • 301 • 2
AlgoDriveAI/Inferno-Reasoning
Viewer • Updated • 72.8k • 22 • 2
AI4Math/MathVista
Viewer • Updated • 6.14k • 24.3k • 232
mikeion/mathconverse_pseudonyms
Viewer • Updated • 5.45M • 16 • 1
hkust-nlp/dart-math-hard
Viewer • Updated • 585k • 1.92k • 16
SynthLabsAI/Big-Math-RL-Verified
Viewer • Updated • 251k • 5.51k • 245
RainPPR/china-textbook
Viewer • Updated • 333 • 2.15k • 5
openbmb/MA-ProofBench
Viewer • Updated • 200 • 413 • 18
oklenAI/MathPinpoint
Viewer • Updated • 49M • 265 • 1
Takenoko12345678/OpenAI-Math-Lean-Agreed-38
Viewer • Updated • 38 • 69 • 2
ArrowLabs/ArrowBench-Instruct
Viewer • Updated • 1k • 41 • 1
yucheng-du/recognition-refusal-misalignment
Viewer • Updated • 3.2k • 26 • 1
MathLLMs/MathVision
Viewer • Updated • 3.34k • 10.2k • 177
hoskinson-center/proof-pile
Viewer • Updated • 363k • 2.17k • 68
saier/unarXive_imrad_clf
Viewer • Updated • 530k • 42 • 8
saier/unarXive_citrec
Viewer • Updated • 2.36M • 115 • 9
weitianwen/cmath
Viewer • Updated • 1.7k • 3.64k • 11
waleko/unarXive-en2ru
Viewer • Updated • 10.4k • 84 • 3
casey-martin/multilingual-mathematical-autoformalization
Viewer • Updated • 666k • 87 • 5
daman1209arora/jeebench
Viewer • Updated • 515 • 1.48k • 8
iblai/ibl-math
Viewer • Updated • 711 • 10
florath/coq-facts-props-proofs-gen0-v1
Viewer • Updated • 270k • 68 • 8
hkust-nlp/dart-math-pool-math
Viewer • Updated • 1.62M • 844 • 8
hkust-nlp/dart-math-pool-gsm8k
Preview • Updated • 484 • 2
hkust-nlp/dart-math-pool-gsm8k-query-info
Viewer • Updated • 7.47k • 134 • 2
hkust-nlp/dart-math-pool-math-query-info
Viewer • Updated • 7.5k • 97
scaomath/navier-stokes-dataset
Updated • 614 • 1
hkust-nlp/dart-math-uniform
Viewer • Updated • 591k • 1.33k • 13