SAIRfoundation

equational-theories-selected-problems

Curated selection of equational theory problems for benchmarking LLM mathematical reasoning and automated theorem proving.

Original source

Rows: 2,969
On disk: —
Downloads: 8.9k
Updated: 5d ago

Explore

Read the real rows without downloading anything

Reading rows…

LiveRead from SAIRfoundation/equational-theories-selected-problems 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 200 rows of evaluation_extra_hard/train

answer

bool

False50%
True50%

difficulty

string_label

extra_hard100%

eq1_id

int

equational-theories-selected-problems

How the columns are distributed

answer

difficulty

eq1_id

eq2_id

equation1

equation2

id

index