skelfresearch/minimal-core-benchmark
Minimal-Core Benchmark 77 constraint-satisfaction and optimisation problems across seven domains. Each one comes as plain English plus a machine-checkable spec. A deterministic oracle scores any proposed answer. It is built to measure one thing: when a language model reads a problem in English, does it get the answer right? That covers turning the text into a solver program (autoformalization), and answering directly with no solver at all. Released with From Errors to Proofs:… See the full description on the dataset page: https://huggingface.co/datasets/skelfresearch/minimal-core-benchmark.
| Author / organization | skelfresearch |
|---|---|
| License (as declared) | mit |
| Downloads | 193 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 1 October 2026 |
| Last updated at source | 1 October 2026 |
Popularity, last 3 days
193 now (+8 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
Connected in the knowledge graph
Related papers
More from skelfresearch
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.