SAIRfoundation/equational-theories-selected-problems
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 concludes) and stage2_evaluation_research (100 order-5 research problems with no ground truth) added metadata/stage2_evaluation_main.json and metadata/stage2_evaluation_research.json… See the full description on the dataset page: https://huggingface.co/datasets/SAIRfoundation/equational-theories-selected-problems.
| Author / organization | SAIRfoundation |
|---|---|
| Downloads | 4.3K (as reported by Hugging Face) |
| Likes | 11 |
| Created | 13 March 2026 |
| Last updated at source | 11 September 2026 |
Popularity, last 3 days
4,257 now (-53 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
More from SAIRfoundation
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.