iiis-lean/NuminaMath-LEAN-Sol download history

iiis-lean/NuminaMath-LEAN-Sol is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,036 times (19 in the last 7 days), and 1,897 times in total. It ranks #18,809 among datasets by monthly downloads.

NuminaMath-LEAN Cleaned with NL Solutions Dataset Summary This is a cleaned version of the NuminaMath-LEAN dataset, enhanced with natural language (NL) solutions matched from source datasets. The primary goal is to provide paired formal statements/proofs with natural language s

Open iiis-lean/NuminaMath-LEAN-Sol on Hugging Face

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