{
 "id": "marcusm117/ProofNet-Verified",
 "owner": "marcusm117",
 "name": "ProofNet-Verified",
 "downloads": 469,
 "likes": 0,
 "last_modified": "2026-10-26T05:01:39.000Z",
 "stated_licence": "apache-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": "apache-2.0",
 "licence_files": [
  "LICENSE"
 ],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@inproceedings{\n  an2026ground,\n  title={Ground False: Dissecting Errors in Formal Mathematics Benchmarks},\n  author={One An$^{*}$ and Marcus J. Min$^{*}$ and Xujie Si and Osbert Bastani},\n  booktitle={3rd AI for Math Workshop: Toward Self-Evolving Scientific Agents},\n  year={2026},\n  url={https://openreview.net/forum?id=5c0RSYyIWW}\n}\n\n@inproceedings{\n  min2026divide,\n  title={Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning},\n  author={Marcus J. Min and Yeqi Gao and Wilson Sy and Zhaoyu Li and Xujie Si and Osbert Bastani},\n  booktitle={The Fourteenth International Conference on Learning Representations},\n  year={2026},\n  url={https://openreview.net/forum?id=NjgaeXNit3}\n}",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "08d4c516eb92d2c1442612a1e5afd5d25d86f4e4",
 "stated_evidence": "https://huggingface.co/datasets/marcusm117/ProofNet-Verified/blob/08d4c516eb92d2c1442612a1e5afd5d25d86f4e4/README.md",
 "file_evidence": "https://huggingface.co/datasets/marcusm117/ProofNet-Verified/blob/08d4c516eb92d2c1442612a1e5afd5d25d86f4e4/LICENSE",
 "card_nc": false
}