All datasets / ce-rlvr

ce-rlvr/SymCE

190 downloads in 30 days0 likesLast modified 26 Oct 2026View on Hugging Face

Permissive or share-alike

The declared licence (cc-by-4.0) is classified as permissive.

Declared licence: cc-by-4.0, from the tagEvidence: README.md at 43aa21f
Licence files: LICENSE, detected as cc-by-4.0Evidence: LICENSE at 43aa21f
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{zouak-etal-2026-counterexample,
    title = "Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs",
    author = "Zouak, Omar Farouk  and
      Boukhalfa, Houssam Eddine  and
      Lakehal, Soumaya  and
      Katiyar, Shiv  and
      Nefti-Meziani, Samia",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {EMNLP} 2026",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-emnlp.2112/",
    pages = "45032--45047",
    ISBN = "979-8-89176-462-0",
}

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": "ce-rlvr/SymCE" })
signal: "permissive"
stated_licence: "cc-by-4.0"
sources: 0