Tencent-IMO/IMO-Lemmas
Viewer • Updated • 667 • 31 • 3
Edit Datasets filters
Active filters: proof-generation
nvidia/Nemotron-Math-Proofs-v1
Viewer • Updated • 925k • 922 • 122
iiis-lean/NuminaMath-LEAN-Sol
Viewer • Updated • 81.3k • 43
lm-provers/FineProofs-SFT
Viewer • Updated • 12.1k • 239 • 42
rootacess/Lean-SFT-dataset
Viewer • Updated • 25.8k • 41 • 1
ReactorJet/Nemotron-Math-Proofs-v1
Viewer • Updated • 927k • 28
scicraft/LeanCat
Viewer • Updated • 100 • 28
anonymous-insightladder-2026/insight-ladder-imo2024
Viewer • Updated • 1 • 17
Gax-c/VeriContest
Updated • 387
amalia-llm/amalia-Nemotron-Math-Proofs-v1
Viewer • Updated • 617k • 17
Hui97/LLMOwlR
Viewer • Updated • 1.97k • 39