ChristianZ97/minif2f_test-AlphaRenamed download history

ChristianZ97/minif2f_test-AlphaRenamed is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 38 times (16 in the last 7 days), and 292 times in total. It ranks #227,732 among datasets by monthly downloads.

MiniF2F Alpha-Renamed Dataset This repository contains an alpha-renamed version of the MiniF2F test dataset. What is Alpha-Renaming? Alpha-renaming replaces variable names with Greek letters (α, β, γ, δ, ...) while preserving the mathematical semantics of each proposition. For

Open ChristianZ97/minif2f_test-AlphaRenamed on Hugging Face

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