All datasets / wuog

wuog/CertiCoder

57 downloads in 30 days3 likesLast modified 14 Apr 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 b1783ec
Licence files: No licence file at the top level of the repositoryEvidence: file list at b1783ec
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{gou2026certicoder,
  author = {Min Gou and Zhiyu Yao and Hualong Ma and Ende Zhang and Jian Zhou and Fei He},
  title = {CertiCoder: Towards MISRA-Compliant C Code Generation with LLMs},
  year = {2026},
  journal = {Proceedings of the ACM on Software Engineering},
  volume = {3},
  number = {FSE},
  pages = {FSE025:1--FSE025:21},
  month = {July},
  doi = {10.1145/3797120}
}

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": "wuog/CertiCoder" })
signal: "unclear"
stated_licence: "other"
sources: 0