{
 "id": "wyt2000/FVEval-Verified",
 "owner": "wyt2000",
 "name": "FVEval-Verified",
 "downloads": 37,
 "likes": 0,
 "last_modified": "2025-12-16T13:13:34.000Z",
 "stated_licence": "apache-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "```latex\n@misc{CodeV-SVA,\n    title={CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis}, \n    author={Yutong Wu and Chenrui Cao and Pengwei Jin and Di Huang and Rui Zhang and Xishan Zhang and Zidong Du and Qi Guo and Xing Hu},\n    year={2025},\n    howpublished={\\url{https://huggingface.co/wyt2000/CodeV-SVA-14B}},\n}\n```",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "a4d45e7a43107e759dd48aeeba66f55255803173",
 "stated_evidence": "https://huggingface.co/datasets/wyt2000/FVEval-Verified/blob/a4d45e7a43107e759dd48aeeba66f55255803173/README.md",
 "file_evidence": "https://huggingface.co/datasets/wyt2000/FVEval-Verified/tree/a4d45e7a43107e759dd48aeeba66f55255803173",
 "card_nc": false
}