iiis-lean/NuminaMath-LEAN-Proof-Artifacts download history

iiis-lean/NuminaMath-LEAN-Proof-Artifacts is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 861 times (180 in the last 7 days), and 4,187 times in total. It ranks #21,643 among datasets by monthly downloads.

NuminaMath-LEAN Proof Artifacts Dataset Summary This dataset provides proof-analysis artifacts derived from AI-MO/NuminaMath-LEAN. It is released with two aligned configs: lite: dual-track proof validation/extraction artifacts full: all lite fields plus dual-track main-theorem

Open iiis-lean/NuminaMath-LEAN-Proof-Artifacts on Hugging Face

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