{
  "title": "Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning",
  "orid": "kovefbSXbQ",
  "space_id": "neonforestmist/repro-behavioral-semantics-state-abstraction",
  "forecast": "12/12",
  "repair": "claim-faithful-v3",
  "repaired_at": "2026-07-27T18:59:56.149315+00:00",
  "pages": [
    "01-framework-formalizes-behavioral-systems-f-coalge",
    "02-behavioral-structures-are-characterized-post-fix",
    "03-safe-verification-surjective-homomorphisms-refle",
    "04-logical-quantitative-relation-connects-logical-q",
    "05-framework-instantiates-state-abstraction-methods",
    "06-policy-dependent-transition-expressed-natural-tr",
    "conclusion"
  ],
  "artifacts": [
    "evidence/claim_1.json",
    "evidence/claim_2.json",
    "evidence/claim_3.json",
    "evidence/claim_4.json",
    "evidence/claim_5.json",
    "evidence/claim_6.json"
  ],
  "cpu_only": true
}