{
 "id": "banach1729/goedel-workbook-lean427",
 "owner": "banach1729",
 "name": "goedel-workbook-lean427",
 "downloads": 1015,
 "likes": 0,
 "last_modified": "2026-03-22T06:20:44.000Z",
 "stated_licence": "apache-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [
  "text-generation"
 ],
 "citation": "@article{lin2025goedel,\n  title={Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving},\n  author={Lin, Yong and Agarwal, Shange and Jiang, Bohan and Lu, Changran and Yuan, Yufei and Liu, Hao and Wang, Tongxuan and Ruan, Zhongjian and Zhang, Qingyu and Zeng, Aimin and others},\n  journal={arXiv preprint arXiv:2502.07640},\n  year={2025}\n}\n\n@article{xin2024deepseek,\n  title={DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search},\n  author={Xin, Huajian and Guo, Daya and Shao, Zhihong and Ren, Zhizhou and Zhu, Qihao and Liu, Bo and Ruan, Chong and Li, Wenda and Liang, Xiaodan},\n  journal={arXiv preprint arXiv:2408.08152},\n  year={2024}\n}",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "4049a8c4c2c7ae05d41207dccba1e9bf8afeb664",
 "stated_evidence": "https://huggingface.co/datasets/banach1729/goedel-workbook-lean427/blob/4049a8c4c2c7ae05d41207dccba1e9bf8afeb664/README.md",
 "file_evidence": "https://huggingface.co/datasets/banach1729/goedel-workbook-lean427/tree/4049a8c4c2c7ae05d41207dccba1e9bf8afeb664",
 "card_nc": false
}