{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2TKJOP4PJM67Y4CVNPW64SDU2A","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"aa412c8ca564dab33cfc855165b2c3f53b27968019482359779adcd7f47b1d66","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T11:28:16Z","title_canon_sha256":"aa0cd9b17923f392c7eb152b88613786e3d8ad8a78df7786378a666c6d6b9610"},"schema_version":"1.0","source":{"id":"2607.26787","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.26787","created_at":"2026-07-30T01:22:19Z"},{"alias_kind":"arxiv_version","alias_value":"2607.26787v1","created_at":"2026-07-30T01:22:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.26787","created_at":"2026-07-30T01:22:19Z"},{"alias_kind":"pith_short_12","alias_value":"2TKJOP4PJM67","created_at":"2026-07-30T01:22:19Z"},{"alias_kind":"pith_short_16","alias_value":"2TKJOP4PJM67Y4CV","created_at":"2026-07-30T01:22:19Z"},{"alias_kind":"pith_short_8","alias_value":"2TKJOP4P","created_at":"2026-07-30T01:22:19Z"}],"graph_snapshots":[{"event_id":"sha256:0c8e1c8028464727341b9dadec3d32b6d9c04b96fabe5585f39ea58c6093247d","target":"graph","created_at":"2026-07-30T01:22:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.26787/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Markov Decision Processes (MDPs) are widely used as decision-making models, commonly specified over factored state spaces through state variables and their valuations. The exponential blowup in the number of states renders many reasoning tasks in MDPs challenging. Abstractions are promising techniques to reduce MDPs and thus mitigate scalability issues. In this work, we introduce a notion of causality on factored MDPs and a novel property-driven causal abstraction technique that retains many characteristics of the original MDP model. For this, we rely on causal relations over state variable pr","authors_text":"Clemens Dubslaff, David Parker, Jule Schmidt, Maximilian Weininger, Nils Jansen","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T11:28:16Z","title":"Property-driven Causal Abstractions for Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.26787","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:9a4fbc6788700cd6af423eb4f2f87e408ebd0c2301ee746cdd5bf123e9eba7f9","target":"record","created_at":"2026-07-30T01:22:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"aa412c8ca564dab33cfc855165b2c3f53b27968019482359779adcd7f47b1d66","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-29T11:28:16Z","title_canon_sha256":"aa0cd9b17923f392c7eb152b88613786e3d8ad8a78df7786378a666c6d6b9610"},"schema_version":"1.0","source":{"id":"2607.26787","kind":"arxiv","version":1}},"canonical_sha256":"d4d4973f8f4b3dfc70556bedee4874d02425d9b22605f93702456c7c6c770128","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4d4973f8f4b3dfc70556bedee4874d02425d9b22605f93702456c7c6c770128","first_computed_at":"2026-07-30T01:22:19.138578Z","kind":"pith_receipt","last_reissued_at":"2026-07-30T01:22:19.138578Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2607.26787","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9a4fbc6788700cd6af423eb4f2f87e408ebd0c2301ee746cdd5bf123e9eba7f9","sha256:0c8e1c8028464727341b9dadec3d32b6d9c04b96fabe5585f39ea58c6093247d"],"state_sha256":"0c3400c840f94943d121317ccb003ef52c20c215d815f48b8ada6a2b1a856195"}