datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
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.countdown_problemsIMO-2026-Problems
IMO 2026 Problems
The six IMO 2026 problem statements, indexed from 0 through 5 in contest order.
IDs 0–2 are from Day 1, and IDs 3–5 are from Day 2.
Schema
id: zero-based problem identifier (0 corresponds to Problem 1).
day: contest day (1 or 2).
problem: complete English problem statement.
Source
Extracted from the problem statements in SignalPilot Labs' AutoFyn IMO 2026 results:… See the full description on the dataset page: https://huggingface.co/datasets/bogoconic1/IMO-2026-Problems.DSA-Coding-Problems-and-Solutions-Dataset
Dataset Description
This dataset is a large-scale collection of Data Structures and Algorithms (DSA) code, containing 12,385 code files with 3.86 million lines of code and 25.01 million lexical tokens, designed to support the development of advanced code generation models, programming assistants, software engineering AI systems, and code intelligence applications.
It consists of real-world DSA implementations covering a wide range of algorithms, data structures, problem-solving… See the full description on the dataset page: https://huggingface.co/datasets/InfoBayAI/DSA-Coding-Problems-and-Solutions-Dataset.qwen_9b_problems_unsolvedqwen3-4b-instruct-qwen3-instruct-hard-problems-guided-rftall_problems.json