AI-MO/CombiBench download history

AI-MO/CombiBench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 482 times (95 in the last 7 days), and 3,998 times in total. It ranks #34,104 among datasets by monthly downloads.

CombiBench CombiBench is the first benchmark focused on combinatorial problems, based on the formal language Lean 4. CombiBench is a manually produced benchmark, including 100 combinatorial mathematics problems of varying difficulty and knowledge levels. It aims to pro

Open AI-MO/CombiBench on Hugging Face

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