{
 "id": "FormalCert-AI/DynaCertBench",
 "owner": "FormalCert-AI",
 "name": "DynaCertBench",
 "downloads": 132,
 "likes": 2,
 "last_modified": "2026-10-26T17:42:20.000Z",
 "stated_licence": "mit",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": "mit",
 "licence_files": [
  "LICENSE"
 ],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@misc{cao2026llm2cert,\n  title = {LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification},\n  author = {Cao, Zhipeng and Song, Peiyang and Vertovec, Nikolaus and\n            Cui, Weiru and Yang, Zhihao and Liu, Mingkang and Lin, Luxia and\n            Xue, Bai and Abate, Alessandro},\n  year = {2026},\n  eprint = {2610.30524},\n  archivePrefix = {arXiv},\n  primaryClass = {eess.SY},\n  url = {https://arxiv.org/abs/2610.30524}\n}",
 "signal": "permissive",
 "reason": "The declared licence (mit) is classified as permissive.",
 "revision": "e29234005b71a48a87ce69cce7673b99da8d0d3e",
 "stated_evidence": "https://huggingface.co/datasets/FormalCert-AI/DynaCertBench/blob/e29234005b71a48a87ce69cce7673b99da8d0d3e/README.md",
 "file_evidence": "https://huggingface.co/datasets/FormalCert-AI/DynaCertBench/blob/e29234005b71a48a87ce69cce7673b99da8d0d3e/LICENSE",
 "card_nc": false
}