{
 "id": "wyt2000/CodeV-SVA-datasets",
 "owner": "wyt2000",
 "name": "CodeV-SVA-datasets",
 "downloads": 207,
 "likes": 1,
 "last_modified": "2026-03-24T06:21:27.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": "```latex\n@misc{wu2026qimengcodevsvatrainingspecializedllms,\n      title={QiMeng-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={2026},\n      eprint={2603.14239},\n      archivePrefix={arXiv},\n      primaryClass={cs.CL},\n      url={https://arxiv.org/abs/2603.14239}, \n}\n```",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "bf56e84b234ef1a63a47c5e69f3f15a63c7a4ead",
 "stated_evidence": "https://huggingface.co/datasets/wyt2000/CodeV-SVA-datasets/blob/bf56e84b234ef1a63a47c5e69f3f15a63c7a4ead/README.md",
 "file_evidence": "https://huggingface.co/datasets/wyt2000/CodeV-SVA-datasets/tree/bf56e84b234ef1a63a47c5e69f3f15a63c7a4ead",
 "card_nc": false
}