CoderBak/minif2f download history

CoderBak/minif2f is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 41 times (6 in the last 7 days), and 561 times in total. It ranks #215,348 among datasets by monthly downloads.

minif2f Dataset The minif2f dataset is a collection of mathematical problems and their formal statements, designed for formal mathematics and theorem proving tasks. Dataset Description Dataset Summary The minif2f dataset contains mathematical problems from various so

Open CoderBak/minif2f on Hugging Face

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