{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:W2WVKMGVQH2LZMJPNZG3G2P6IH","short_pith_number":"pith:W2WVKMGV","canonical_record":{"source":{"id":"2208.08552","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-08-17T21:58:19Z","cross_cats_sorted":["cs.HC","cs.LG","cs.LO"],"title_canon_sha256":"3e4b00723b6a1ba5dcacd90a52065320f62d81eab559f41849a66b8c591bd934","abstract_canon_sha256":"13fc5b882f296f0aaf76dc801080d1a627538a4883aa10f63c9c68b7dcbe372f"},"schema_version":"1.0"},"canonical_sha256":"b6ad5530d581f4bcb12f6e4db369fe41ea9b97f9a04f535f98de30bd60866dfd","source":{"kind":"arxiv","id":"2208.08552","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.08552","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"arxiv_version","alias_value":"2208.08552v1","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.08552","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"pith_short_12","alias_value":"W2WVKMGVQH2L","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"pith_short_16","alias_value":"W2WVKMGVQH2LZMJP","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"pith_short_8","alias_value":"W2WVKMGV","created_at":"2026-07-05T04:49:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:W2WVKMGVQH2LZMJPNZG3G2P6IH","target":"record","payload":{"canonical_record":{"source":{"id":"2208.08552","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-08-17T21:58:19Z","cross_cats_sorted":["cs.HC","cs.LG","cs.LO"],"title_canon_sha256":"3e4b00723b6a1ba5dcacd90a52065320f62d81eab559f41849a66b8c591bd934","abstract_canon_sha256":"13fc5b882f296f0aaf76dc801080d1a627538a4883aa10f63c9c68b7dcbe372f"},"schema_version":"1.0"},"canonical_sha256":"b6ad5530d581f4bcb12f6e4db369fe41ea9b97f9a04f535f98de30bd60866dfd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:49:35.134074Z","signature_b64":"4hq+tpnNVaBjR/9s5Kc8WLpcIEyP4f9gUK1fXQEYHRMq+LH68gtKP/eyEP2kMaS+QmDWM7shIiuGOC3aKF+cDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6ad5530d581f4bcb12f6e4db369fe41ea9b97f9a04f535f98de30bd60866dfd","last_reissued_at":"2026-07-05T04:49:35.133735Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:49:35.133735Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.08552","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:49:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NQBetGY3NPRh1HkWyXCFUumSQ+kdOgd8JA2ESYhYTlZhmLt+UvjklI087ZfMIPFbnJVDjCtUwbGEsD7a7wSyDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T02:38:56.658841Z"},"content_sha256":"aed738136e7325a376601e53e92adf0f86db3927d4572acc413a727db17cd502","schema_version":"1.0","event_id":"sha256:aed738136e7325a376601e53e92adf0f86db3927d4572acc413a727db17cd502"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:W2WVKMGVQH2LZMJPNZG3G2P6IH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Framework for Understanding and Visualizing Strategies of RL Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.HC","cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Daniel Elenius, Jesse Hostetler, Melinda Gervasio, Pedro Sequeira","submitted_at":"2022-08-17T21:58:19Z","abstract_excerpt":"Recent years have seen significant advances in explainable AI as the need to understand deep learning models has gained importance with the increased emphasis on trust and ethics in AI. Comprehensible models for sequential decision tasks are a particular challenge as they require understanding not only individual predictions but a series of predictions that interact with environmental dynamics. We present a framework for learning comprehensible models of sequential decision tasks in which agent strategies are characterized using temporal logic formulas. Given a set of agent traces, we first cl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.08552","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2208.08552/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:49:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qiWV1Oy4F4Ql0nhvXtTaXz63q3Z7VAprgMwBCoCKh8Ybs0q8EfxA9b7XXtcXYgqH0kCvAaUY2iI6EBv5RyqxCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T02:38:56.659215Z"},"content_sha256":"573d70f8ef518c9b10b5fce4988e683d9ae866466363d53407dbc1574f4e6a08","schema_version":"1.0","event_id":"sha256:573d70f8ef518c9b10b5fce4988e683d9ae866466363d53407dbc1574f4e6a08"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W2WVKMGVQH2LZMJPNZG3G2P6IH/bundle.json","state_url":"https://pith.science/pith/W2WVKMGVQH2LZMJPNZG3G2P6IH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W2WVKMGVQH2LZMJPNZG3G2P6IH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-08T02:38:56Z","links":{"resolver":"https://pith.science/pith/W2WVKMGVQH2LZMJPNZG3G2P6IH","bundle":"https://pith.science/pith/W2WVKMGVQH2LZMJPNZG3G2P6IH/bundle.json","state":"https://pith.science/pith/W2WVKMGVQH2LZMJPNZG3G2P6IH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W2WVKMGVQH2LZMJPNZG3G2P6IH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:W2WVKMGVQH2LZMJPNZG3G2P6IH","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":"13fc5b882f296f0aaf76dc801080d1a627538a4883aa10f63c9c68b7dcbe372f","cross_cats_sorted":["cs.HC","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-08-17T21:58:19Z","title_canon_sha256":"3e4b00723b6a1ba5dcacd90a52065320f62d81eab559f41849a66b8c591bd934"},"schema_version":"1.0","source":{"id":"2208.08552","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.08552","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"arxiv_version","alias_value":"2208.08552v1","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.08552","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"pith_short_12","alias_value":"W2WVKMGVQH2L","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"pith_short_16","alias_value":"W2WVKMGVQH2LZMJP","created_at":"2026-07-05T04:49:35Z"},{"alias_kind":"pith_short_8","alias_value":"W2WVKMGV","created_at":"2026-07-05T04:49:35Z"}],"graph_snapshots":[{"event_id":"sha256:573d70f8ef518c9b10b5fce4988e683d9ae866466363d53407dbc1574f4e6a08","target":"graph","created_at":"2026-07-05T04:49:35Z","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/2208.08552/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent years have seen significant advances in explainable AI as the need to understand deep learning models has gained importance with the increased emphasis on trust and ethics in AI. Comprehensible models for sequential decision tasks are a particular challenge as they require understanding not only individual predictions but a series of predictions that interact with environmental dynamics. We present a framework for learning comprehensible models of sequential decision tasks in which agent strategies are characterized using temporal logic formulas. Given a set of agent traces, we first cl","authors_text":"Daniel Elenius, Jesse Hostetler, Melinda Gervasio, Pedro Sequeira","cross_cats":["cs.HC","cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-08-17T21:58:19Z","title":"A Framework for Understanding and Visualizing Strategies of RL Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.08552","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:aed738136e7325a376601e53e92adf0f86db3927d4572acc413a727db17cd502","target":"record","created_at":"2026-07-05T04:49:35Z","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":"13fc5b882f296f0aaf76dc801080d1a627538a4883aa10f63c9c68b7dcbe372f","cross_cats_sorted":["cs.HC","cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-08-17T21:58:19Z","title_canon_sha256":"3e4b00723b6a1ba5dcacd90a52065320f62d81eab559f41849a66b8c591bd934"},"schema_version":"1.0","source":{"id":"2208.08552","kind":"arxiv","version":1}},"canonical_sha256":"b6ad5530d581f4bcb12f6e4db369fe41ea9b97f9a04f535f98de30bd60866dfd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6ad5530d581f4bcb12f6e4db369fe41ea9b97f9a04f535f98de30bd60866dfd","first_computed_at":"2026-07-05T04:49:35.133735Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:49:35.133735Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4hq+tpnNVaBjR/9s5Kc8WLpcIEyP4f9gUK1fXQEYHRMq+LH68gtKP/eyEP2kMaS+QmDWM7shIiuGOC3aKF+cDg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:49:35.134074Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.08552","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aed738136e7325a376601e53e92adf0f86db3927d4572acc413a727db17cd502","sha256:573d70f8ef518c9b10b5fce4988e683d9ae866466363d53407dbc1574f4e6a08"],"state_sha256":"741a110ad79518fed8eecee5e55af8283da15bc2da741f385a6b572ae4818fe1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"49OPST1ePQ4Zc48GxkxQx9Sv19ED87vqKeRrPwexW7sOIv/J2AMAmM/Ee4eNQouf/G7645GZohAtjU734tJRCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T02:38:56.661540Z","bundle_sha256":"42d1352f4c1159b72a9f85e8acce60779922bb62bf22d020aea96fa6c516a25e"}}