Is this your dataset? Claim it with the Hugging Face account that owns it.

SAIRfoundation/
equational-theories-selected-problems

Name: equational-theories-selected-problems
Creator: SAIRfoundation

Views

No views yet

	Equational Theories Selected Problems




	
	Update (April 27, 2026)

This dataset was updated on April 27, 2026. Main changes:

added the released Stage 1 final evaluation subsets: evaluation_normal, evaluation_hard, evaluation_extra_hard, and evaluation_order5 added metadata files for the new evaluation subsets updated the README and metadata to reflect the current released subsets

Update (March 24, 2026)

This dataset was updated on March 24, 2026. Main changes:… See the full description on the dataset page: https://huggingface.co/datasets/SAIRfoundation/equational-theories-selected-problems.