SAIRfoundation/equational-theories-selected-problems download history

SAIRfoundation/equational-theories-selected-problems is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 8,193 times (74 in the last 7 days), and 25,056 times in total. It ranks #3,671 among datasets by monthly downloads.

Equational Theories Selected Problems Update (September 11, 2026) This dataset was updated on September 11, 2026. Main changes: released the official Stage 2 evaluation problems: stage2_evaluation_main (200 problems; ground truth withheld — answer is null until Stage 2

Spaces using equational-theories-selected-problems

Open SAIRfoundation/equational-theories-selected-problems on Hugging Face