AI-MO/NuminaMath-LEAN download history

AI-MO/NuminaMath-LEAN is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,966 times (342 in the last 7 days), and 12,967 times in total. It ranks #11,441 among datasets by monthly downloads.

Dataset Card for NuminaMath-LEAN Dataset Summary NuminaMath-LEAN is a large-scale dataset of 100K mathematical competition problems formalized in Lean 4. It is derived from a challenging subset of the NuminaMath 1.5 dataset, focusing on problems from prestigious competitions l

Models trained on NuminaMath-LEAN

3 models list it as training data.

• deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF 62 downloads in 30 days
• deadbydawn101/RavenX-Conjecture-Qwen3-8B-MLX 48 downloads in 30 days
• NJUDeepEngine/SEG-ATP – downloads in 30 days

Open AI-MO/NuminaMath-LEAN on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.