All datasets / skelfresearch

skelfresearch/minimal-core-benchmark

168 downloads in 30 days0 likesLast modified 1 Oct 2026View on Hugging Face

Permissive or share-alike

The declared licence (mit) is classified as permissive.

Declared licence: mit, from the tagEvidence: README.md at aea2afd
Licence files: No licence file at the top level of the repositoryEvidence: file list at aea2afd
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

text-generation

Citation text from the card

@inproceedings{sarkar2026minimalcore,
  title     = {From Errors to Proofs: Minimal-Core-Guided Repair for
               Neuro-Symbolic Constraint Solving},
  author    = {Sarkar, Dipankar},
  booktitle = {IJCAI-ECAI 2026 Workshop on Logic and Symbolic Reasoning (LogiSymb)},
  year      = {2026},
  eprint    = {2608.14771},
  archivePrefix = {arXiv},
  url       = {https://arxiv.org/abs/2608.14771}
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "skelfresearch/minimal-core-benchmark" })
signal: "permissive"
stated_licence: "mit"
sources: 0