{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:4LEGLIVSM753ZNDGM5BSLPEG4Q","short_pith_number":"pith:4LEGLIVS","canonical_record":{"source":{"id":"2009.00418","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-09-01T13:45:05Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b712784cc83b85a13731652fc11a846e8fa954e5c055ed04da2cc573bc1f5536","abstract_canon_sha256":"638b097f2c2f9688348db725f7fab43183267eec058d0b7da662f104fb98e32c"},"schema_version":"1.0"},"canonical_sha256":"e2c865a2b267fbbcb466674325bc86e42932399731105a8ee1f56c32493f5695","source":{"kind":"arxiv","id":"2009.00418","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.00418","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"arxiv_version","alias_value":"2009.00418v2","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.00418","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"pith_short_12","alias_value":"4LEGLIVSM753","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"pith_short_16","alias_value":"4LEGLIVSM753ZNDG","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"pith_short_8","alias_value":"4LEGLIVS","created_at":"2026-07-05T02:07:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:4LEGLIVSM753ZNDGM5BSLPEG4Q","target":"record","payload":{"canonical_record":{"source":{"id":"2009.00418","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-09-01T13:45:05Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b712784cc83b85a13731652fc11a846e8fa954e5c055ed04da2cc573bc1f5536","abstract_canon_sha256":"638b097f2c2f9688348db725f7fab43183267eec058d0b7da662f104fb98e32c"},"schema_version":"1.0"},"canonical_sha256":"e2c865a2b267fbbcb466674325bc86e42932399731105a8ee1f56c32493f5695","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:07:30.599287Z","signature_b64":"Fz2MITiFYGSM7m9kdxOnEMl1BjLWFqWma5B+P8mx6YN4GB7+WT4GC2/uI7/7WsytWNAaQFBp0W3a+NfMZHtYCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2c865a2b267fbbcb466674325bc86e42932399731105a8ee1f56c32493f5695","last_reissued_at":"2026-07-05T02:07:30.598914Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:07:30.598914Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.00418","source_version":2,"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-05T02:07:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dKZGZUUjGs0WG4C6qaUC29u+ngG3t9vc+/l/7UD/hwuuEXucjhR0B80eyGACl3NptheHVE2lXJqEAGex6YFbAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:09:59.767042Z"},"content_sha256":"1747a2fde75fb7468b94f44ece5b4240414d0ab9a38332c439dfb40fe5f5f149","schema_version":"1.0","event_id":"sha256:1747a2fde75fb7468b94f44ece5b4240414d0ab9a38332c439dfb40fe5f5f149"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:4LEGLIVSM753ZNDGM5BSLPEG4Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Machine Reasoning Explainability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Alessandro Previti, Alexandros Nikou, Aneta Vulgarakis Feljan, Anusha Mujumdar, Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Vaishnavi Sundararajan","submitted_at":"2020-09-01T13:45:05Z","abstract_excerpt":"As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainable AI (XAI) -- arguably one of the biggest concerns today for the AI community. Work on explainable MR as well as on MR approaches to explainability in other areas of AI has continued ever since. It is especially potent in modern MR branches, such as argumentation, constraint and logic programming, planning. We hereby aim to provide a selective overview of MR explainability techniques and studies in hopes that insight"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.00418","kind":"arxiv","version":2},"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/2009.00418/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-05T02:07:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aFfKDlhhObJ4G/xCX4C49n+6TbWXiBElMOAGYovhRW61PKKC6jayFlzkEgQPwA3adUMGjlbIqlWj7ofaZNLxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:09:59.767430Z"},"content_sha256":"492d316666f655e6811dd5583a31bf1a175c6796fb0c0fd23b87d91ed716c355","schema_version":"1.0","event_id":"sha256:492d316666f655e6811dd5583a31bf1a175c6796fb0c0fd23b87d91ed716c355"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4LEGLIVSM753ZNDGM5BSLPEG4Q/bundle.json","state_url":"https://pith.science/pith/4LEGLIVSM753ZNDGM5BSLPEG4Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4LEGLIVSM753ZNDGM5BSLPEG4Q/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-06T15:09:59Z","links":{"resolver":"https://pith.science/pith/4LEGLIVSM753ZNDGM5BSLPEG4Q","bundle":"https://pith.science/pith/4LEGLIVSM753ZNDGM5BSLPEG4Q/bundle.json","state":"https://pith.science/pith/4LEGLIVSM753ZNDGM5BSLPEG4Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4LEGLIVSM753ZNDGM5BSLPEG4Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:4LEGLIVSM753ZNDGM5BSLPEG4Q","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":"638b097f2c2f9688348db725f7fab43183267eec058d0b7da662f104fb98e32c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-09-01T13:45:05Z","title_canon_sha256":"b712784cc83b85a13731652fc11a846e8fa954e5c055ed04da2cc573bc1f5536"},"schema_version":"1.0","source":{"id":"2009.00418","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.00418","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"arxiv_version","alias_value":"2009.00418v2","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.00418","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"pith_short_12","alias_value":"4LEGLIVSM753","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"pith_short_16","alias_value":"4LEGLIVSM753ZNDG","created_at":"2026-07-05T02:07:30Z"},{"alias_kind":"pith_short_8","alias_value":"4LEGLIVS","created_at":"2026-07-05T02:07:30Z"}],"graph_snapshots":[{"event_id":"sha256:492d316666f655e6811dd5583a31bf1a175c6796fb0c0fd23b87d91ed716c355","target":"graph","created_at":"2026-07-05T02:07:30Z","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/2009.00418/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainable AI (XAI) -- arguably one of the biggest concerns today for the AI community. Work on explainable MR as well as on MR approaches to explainability in other areas of AI has continued ever since. It is especially potent in modern MR branches, such as argumentation, constraint and logic programming, planning. We hereby aim to provide a selective overview of MR explainability techniques and studies in hopes that insight","authors_text":"Alessandro Previti, Alexandros Nikou, Aneta Vulgarakis Feljan, Anusha Mujumdar, Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Vaishnavi Sundararajan","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-09-01T13:45:05Z","title":"Machine Reasoning Explainability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.00418","kind":"arxiv","version":2},"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:1747a2fde75fb7468b94f44ece5b4240414d0ab9a38332c439dfb40fe5f5f149","target":"record","created_at":"2026-07-05T02:07:30Z","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":"638b097f2c2f9688348db725f7fab43183267eec058d0b7da662f104fb98e32c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-09-01T13:45:05Z","title_canon_sha256":"b712784cc83b85a13731652fc11a846e8fa954e5c055ed04da2cc573bc1f5536"},"schema_version":"1.0","source":{"id":"2009.00418","kind":"arxiv","version":2}},"canonical_sha256":"e2c865a2b267fbbcb466674325bc86e42932399731105a8ee1f56c32493f5695","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2c865a2b267fbbcb466674325bc86e42932399731105a8ee1f56c32493f5695","first_computed_at":"2026-07-05T02:07:30.598914Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:07:30.598914Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fz2MITiFYGSM7m9kdxOnEMl1BjLWFqWma5B+P8mx6YN4GB7+WT4GC2/uI7/7WsytWNAaQFBp0W3a+NfMZHtYCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:07:30.599287Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.00418","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1747a2fde75fb7468b94f44ece5b4240414d0ab9a38332c439dfb40fe5f5f149","sha256:492d316666f655e6811dd5583a31bf1a175c6796fb0c0fd23b87d91ed716c355"],"state_sha256":"3c46a20af732e489458ffb61ecd4aea12e0f0acfa9bd36b26b7953304b6262d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q8/qQAPUE8b/V/8J/3470iGA2ut+aZfU2wt1tHefNMZmxjrdDAdqaqffGO/bgmFOGY+UOZ52Mk3BOg2C11aSBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T15:09:59.769333Z","bundle_sha256":"f875cfdda4f6ba9baf3eaeb251ab05f5b15607ba89acdc5b1511839576dd4c68"}}