{
 "id": "lm-provers/FineProofs-RL",
 "owner": "lm-provers",
 "name": "FineProofs-RL",
 "downloads": 161,
 "likes": 7,
 "last_modified": "2026-02-14T23:11:25.000Z",
 "stated_licence": null,
 "stated_from": "none",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@dataset{fineproofs_rl_dataset_2026,\n  title={FineProofs RL: Mathematical Olympiad Problems with Rubrics and Reward Annotations},\n  author={Jasper Dekoninck and Jia Li and Yuxiao Qu and Amrith Setlur and Ian Wu and Edward Beeching and Aviral Kumar and Lewis Tunstall},\n  year={2026},\n  publisher={Hugging Face},\n  howpublished={\\url{https://huggingface.co/datasets/lm-provers/FineProofs-RL}}\n}",
 "signal": "restrictive",
 "reason": "The dataset card's licence name or licence section contains wording that suggests non-commercial, research-only or academic-only use restrictions.",
 "revision": "61c9ade2e04ab4ee7e257434e0826cb9b737f63e",
 "stated_evidence": "https://huggingface.co/datasets/lm-provers/FineProofs-RL/blob/61c9ade2e04ab4ee7e257434e0826cb9b737f63e/README.md",
 "file_evidence": "https://huggingface.co/datasets/lm-provers/FineProofs-RL/tree/61c9ade2e04ab4ee7e257434e0826cb9b737f63e",
 "card_nc": true
}