← Back to explorer

equational-theories-benchmark

SAIRfoundation

Type: dataset
Venue: SAIRfoundation
Year: 2026
Source: huggingface
Access: free
Added: 2026-07-17T20:01:18.584636+00:00
Verified: 2026-07-17T20:01:18.584636+00:00

Summary

This release packages six `common_25` benchmarks for Stage 1 of the Mathematics Distillation Challenge: Equational Theories.

Keywords

hf-dataset tabular text

Research notes

downloads=116; likes=9