lm-provers/FineProofs-RL

162 downloads in 30 days7 likesLast modified 14 Feb 2026View on Hugging Face

The dataset card's licence name or licence section contains wording that suggests non-commercial, research-only or academic-only use restrictions.

Declared licence: Not declared in the tag or the card (see datasets with no declared licence)Evidence: README.md at 61c9ade
Licence files: No licence file at the top level of the repositoryEvidence: file list at 61c9ade
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.

Citation text from the card

@dataset{fineproofs_rl_dataset_2026,
  title={FineProofs RL: Mathematical Olympiad Problems with Rubrics and Reward Annotations},
  author={Jasper Dekoninck and Jia Li and Yuxiao Qu and Amrith Setlur and Ian Wu and Edward Beeching and Aviral Kumar and Lewis Tunstall},
  year={2026},
  publisher={Hugging Face},
  howpublished={\url{https://huggingface.co/datasets/lm-provers/FineProofs-RL}}
}

All datasets marked Use restrictions | 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": "lm-provers/FineProofs-RL" })
signal: "restrictive"
stated_licence: null
sources: 0