All datasets / grenadeComing

grenadeComing/beyond-compilation-benchmark

346 downloads in 30 days0 likesLast modified 28 Oct 2026View on Hugging Face

Unclear

The checks could not identify a recognised licence ID in the dataset's metadata.

Declared licence: other, from the tagEvidence: README.md at a18ef12
Licence name on the card: per-source-licenses, link: https://github.com/grenadeComing/beyond-compilation/blob/12495cea1e327be776ea3c428eeb64dca50095ec/DATA_LICENSE.mdEvidence: README.md at a18ef12
Licence files: LICENSE, detected as mitEvidence: LICENSE at a18ef12
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

@article{zhang2026beyond,
  title = {Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization},
  author = {Zhang, Ke and Gallardo Candela, Patricio and Murthy, Sudhir and Xie, Yi and Wang, Zhi and Raissi, Maziar},
  journal = {arXiv preprint arXiv:2606.31002},
  year = {2026}
}

All datasets marked Unclear | 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": "grenadeComing/beyond-compilation-benchmark" })
signal: "unclear"
stated_licence: "other"
sources: 0