{
 "id": "tasksource/leandojo",
 "owner": "tasksource",
 "name": "leandojo",
 "downloads": 216,
 "likes": 10,
 "last_modified": "2023-06-28T17:46:34.000Z",
 "stated_licence": "cc-by-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@article{yang2023leandojo,\n  title={{LeanDojo}: Theorem Proving with Retrieval-Augmented Language Models},\n  author={Yang, Kaiyu and Swope, Aidan and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima},\n  journal={arXiv preprint arXiv:2306.15626},\n  year={2023}\n}",
 "signal": "permissive",
 "reason": "The declared licence (cc-by-2.0) is classified as permissive.",
 "revision": "a9039f757a2e05b6b4f8ea93bd1ffb3c5547bdfa",
 "stated_evidence": "https://huggingface.co/datasets/tasksource/leandojo/blob/a9039f757a2e05b6b4f8ea93bd1ffb3c5547bdfa/README.md",
 "file_evidence": "https://huggingface.co/datasets/tasksource/leandojo/tree/a9039f757a2e05b6b4f8ea93bd1ffb3c5547bdfa",
 "card_nc": false
}