AI4Math/IneqMath download history

AI4Math/IneqMath is a multiple choice dataset on the Hugging Face Hub. In the last 30 days it was downloaded 2,040 times (209 in the last 7 days), and 22,415 times in total. It ranks #11,126 among datasets by monthly downloads.

Solving Inequality Proofs with Large Language Models Introduction Inequality proving, crucial across diverse scientific and mathematical fields, tests advanced reasoning skills such as discovering tight bounds and strategically applying theor

Models trained on IneqMath

1 models list it as training data.

Open AI4Math/IneqMath on Hugging Face

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