AI-MO/CombiBench
CombiBench CombiBench is the first benchmark focused on combinatorial problems, based on the formal language Lean 4. CombiBench is a manually produced benchmark, including 100 combinatorial mathematics problems of varying difficulty and knowledge levels. It aims to provide a benchmark for evaluating the combinatorial mathematics capabilities of automated theorem proving systems to advance the field. For problems that require providing a solution first and… See the full description on the dataset page: https://huggingface.co/datasets/AI-MO/CombiBench.
| Author / organization | AI-MO |
|---|---|
| License (as declared) | mit |
| Downloads | 559 (as reported by Hugging Face) |
| Likes | 12 |
| Created | 9 March 2025 |
| Last updated at source | 13 July 2025 |
Recent changes
- 16 Oct 2026 Description: CombiBench CombiBench is the first benchmark focused on combinatorial problems, based on the formal language Lean 4. CombiBench is a manually produced benchmark, including 100 combinatorial mathematics problems of varying difficulty and kno → CombiBench CombiBench is the first benchmark focused on combinatorial problems, based on the formal language Lean 4. CombiBench is a manually produced benchmark, including 100 combinatorial mathematics problems of varying difficulty and kno
Changes detected by Silytics between refreshes of the source.
More from AI-MO
- AI-MO/NuminaMath-CoTDataset
- AI-MO/olympiadsDataset
- AI-MO/NuminaMath-1.5Dataset
- AI-MO/aopsDataset
- AI-MO/aimo-validation-aimeDataset
- AI-MO/NuminaMath-TIRDataset
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.