2601.12580v1.pdf

{
  "file/base": {
    "record": {
      "extension": ".pdf",
      "hash": "56e57e7fdb9b040390330172812988366d210be73a909a0da8baaadf829d5787",
      "media_type": "application/pdf",
      "media_type_prefix": "application",
      "name": "2601.12580v1.pdf",
      "size": 924783
    },
    "source": {
      "execution_id": "19f5e226-8551-443b-bd61-23e3388d8c63",
      "id": "file/base",
      "type": "Model",
      "version": "1.0.0"
    }
  },
  "file/pdf": {
    "private": false,
    "record": {
      "creation_date": "2026-01-21T02:42:17Z",
      "keywords": [
        "Multi-Agent Systems",
        "Decentralized Reasoning",
        "Shared Semantic Memory",
        "Bisimulation",
        "Formal Verification",
        "Ontology-Scoped Reasoning",
        "Probabilistic Semantics"
      ],
      "modified_date": "2026-01-21T02:42:17Z",
      "page_count": 29,
      "producer": "pikepdf 8.15.1",
      "subject": "-  Computing methodologies  -\u003e  Multi-agent systems.-  Theory of computation  -\u003e  Distributed algorithms.Temporal logic.Probabilistic computation.-  Mathematics of computing  -\u003e  Probabilistic algorithms.",
      "title": "Semantic Fusion: Verifiable Alignment in Decentralized Multi-Agent Systems",
      "version": "1.7"
    },
    "source": {
      "execution_id": "68c97bd5-b123-40f0-a646-8f62579d9388",
      "id": "dorsal/pdf",
      "type": "Model",
      "version": "1.1.0"
    }
  }
}