Cached graph evidence — SMC-ES: Automated synthesis of formally verified control policies BASED_ON SMC-ES: Automated synthesis of formally verified control policies

Extracted entities

{
  "status": "Raw JSONL unavailable; reconstructed from graph edge provenance.",
  "relations": [
    {
      "edge_type": "BASED_ON",
      "from": {
        "kind": "company",
        "name": "SMC-ES: Automated synthesis of formally verified control policies"
      },
      "to": {
        "kind": "paper",
        "name": "SMC-ES: Automated synthesis of formally verified control policies"
      },
      "valid_at": null,
      "provenance": {
        "source": "arxiv",
        "extractor": "ingest-v1",
        "confidence": 0.55,
        "source_url": "https://arxiv.org/abs/2607.15003v1",
        "observed_at": null,
        "source_signal_id": "backfill:based-on:2607.15003v1"
      }
    }
  ]
}

Raw payload (verbatim — the evidence)

{
  "signal_id": "backfill:based-on:2607.15003v1",
  "raw_payload_status": "unavailable",
  "provenance": {
    "source": "arxiv",
    "extractor": "ingest-v1",
    "confidence": 0.55,
    "source_url": "https://arxiv.org/abs/2607.15003v1",
    "observed_at": null,
    "source_signal_id": "backfill:based-on:2607.15003v1"
  },
  "relations": [
    {
      "edge_type": "BASED_ON",
      "from": {
        "kind": "company",
        "name": "SMC-ES: Automated synthesis of formally verified control policies"
      },
      "to": {
        "kind": "paper",
        "name": "SMC-ES: Automated synthesis of formally verified control policies"
      },
      "valid_at": null,
      "provenance": {
        "source": "arxiv",
        "extractor": "ingest-v1",
        "confidence": 0.55,
        "source_url": "https://arxiv.org/abs/2607.15003v1",
        "observed_at": null,
        "source_signal_id": "backfill:based-on:2607.15003v1"
      }
    }
  ]
}