2601.19903v1.pdf

{
  "file/base": {
    "record": {
      "extension": ".pdf",
      "hash": "744bd9a305b192ff58edf9c8b3d3c9e497375179324c0f6a8828f3afc016de84",
      "media_type": "application/pdf",
      "media_type_prefix": "application",
      "name": "2601.19903v1.pdf",
      "size": 1184257
    },
    "source": {
      "execution_id": "c1f4743c-b1bb-44b8-880f-d6b0b7622a2d",
      "id": "file/base",
      "type": "Model",
      "version": "1.0.0"
    }
  },
  "file/pdf": {
    "private": false,
    "record": {
      "creation_date": "2026-01-29T01:00:24Z",
      "keywords": [
        "SystemVerilog Assertions",
        "LLM",
        "Formal Verification"
      ],
      "modified_date": "2026-01-29T01:00:24Z",
      "page_count": 7,
      "producer": "pikepdf 8.15.1",
      "title": "STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification",
      "version": "1.7"
    },
    "source": {
      "execution_id": "5f275868-7207-40fd-8d8f-827445fadd5d",
      "id": "dorsal/pdf",
      "type": "Model",
      "version": "1.1.0"
    }
  }
}