SAIRfoundation
Curated selection of equational theory problems for benchmarking LLM mathematical reasoning and automated theorem proving.
Last 30 days
No licence declared
The authors have not published a licence, which means no permission to redistribute the data has been granted to anyone. The rows are not served here; read them on the original dataset page.Column statistics
Over 200 rows of evaluation_extra_hard/train
Provenance
