All datasets / LukeBailey181Pub

LukeBailey181Pub/FirstProofGradingBench

86 downloads in 30 days0 likesLast modified 17 Aug 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 361c11a
Licence name on the card: mixed-see-provenanceEvidence: README.md at 361c11a
Licence files: No licence file at the top level of the repositoryEvidence: file list at 361c11a
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-classification

Citation text from the card

@article{barkallah2026pseudo,
  title={Pseudo-Formalization for Automatic Proof Verification},
  author={Barkallah, Slim and Bailey, Luke and Wen, Kaiyue and Abouzaid, Mohammed and Ma, Tengyu},
  journal={arXiv preprint arXiv:2605.20531},
  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": "LukeBailey181Pub/FirstProofGradingBench" })
signal: "unclear"
stated_licence: "other"
sources: 0