AI-MO

CombiBench

Combinatorics problems drawn from AMC, AIME, and olympiad competitions, formalised for benchmarking discrete-mathematics reasoning in language models.

Original source

Rows: 200
On disk: 108 kB
Downloads: 340
Updated: Jul 13

Explore

Read the real rows without downloading anything

Reading rows…

LiveRead from AI-MO/CombiBench at the moment you asked. Nothing is cached or stored — every row above came from that request.

Column statistics

How the columns are distributed

Over 100 rows of default/test

answer

list

min: 1
median: 1
mean: 1.04
max: 3

55.0% empty

formal_statement

string_text

CombiBench

How the columns are distributed

answer

formal_statement

natural_language

source

tag

theorem_name