datalicense

All datasets / Imandra

Imandra/code_contests

183 downloads in 30 days0 likesLast modified 29 Aug 2025View 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 eef1c57
Licence files
No licence file at the top level of the repositoryEvidence: file list at eef1c57
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

Citation text from the card

@article{li2022competition,
  title={Competition-Level Code Generation with AlphaCode},
    author={Li, Yujia and Choi, David and Chung, Junyoung and Kushman, Nate and
    Schrittwieser, Julian and Leblond, R{\'e}mi and Eccles, Tom and
    Keeling, James and Gimeno, Felix and Dal Lago, Agustin and
    Hubert, Thomas and Choy, Peter and de Masson d'Autume, Cyprien and
    Babuschkin, Igor and Chen, Xinyun and Huang, Po-Sen and Welbl, Johannes and
    Gowal, Sven and Cherepanov, Alexey and Molloy, James and
    Mankowitz, Daniel and Sutherland Robson, Esme and Kohli, Pushmeet and
    de Freitas, Nando and Kavukcuoglu, Koray and Vinyals, Oriol},
  journal={arXiv preprint arXiv:2203.07814},
  year={2022}
}

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