SAIRfoundation

equational-theories-benchmark

Full benchmark suite of equational theory problems spanning algebraic structures, designed to evaluate formal reasoning capabilities of AI models.

Original source

Rows: 120,185
On disk: 615 MB
Downloads: 129
Updated: Apr 5

Explore

Read the real rows without downloading anything

Reading rows…

LiveRead from SAIRfoundation/equational-theories-benchmark 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 6 rows of benchmarks/train

benchmark_id

string_label

normal_200_common_25_default_reason17%
hard_200_common_25_default_reason17%
hard_200_common_25_low_reason17%

cheatsheet_mode

string_label

equational-theories-benchmark

How the columns are distributed

benchmark_id

cheatsheet_mode

model_count

problem_count

problem_source_dataset

problem_subset

reasoning_mode

repeat_count

temperature_mode

template_id

template_path