{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YZUGV6K4EOG75IGKWMHQGAYLUE","short_pith_number":"pith:YZUGV6K4","canonical_record":{"source":{"id":"2302.13482","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-02-27T02:40:05Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"6549b4f230848b8a9289a58fba1206514cd619cb6dc39661cf2cb851a1d63eba","abstract_canon_sha256":"a6aa1236beb6121b30f5cc6deec485891457572b8b32c234dc57e8fc613c4954"},"schema_version":"1.0"},"canonical_sha256":"c6686af95c238dfea0cab30f03030ba105c80d381169f55f901d66de4f157585","source":{"kind":"arxiv","id":"2302.13482","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.13482","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"arxiv_version","alias_value":"2302.13482v3","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.13482","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"pith_short_12","alias_value":"YZUGV6K4EOG7","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"pith_short_16","alias_value":"YZUGV6K4EOG75IGK","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"pith_short_8","alias_value":"YZUGV6K4","created_at":"2026-07-05T05:48:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YZUGV6K4EOG75IGKWMHQGAYLUE","target":"record","payload":{"canonical_record":{"source":{"id":"2302.13482","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-02-27T02:40:05Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"6549b4f230848b8a9289a58fba1206514cd619cb6dc39661cf2cb851a1d63eba","abstract_canon_sha256":"a6aa1236beb6121b30f5cc6deec485891457572b8b32c234dc57e8fc613c4954"},"schema_version":"1.0"},"canonical_sha256":"c6686af95c238dfea0cab30f03030ba105c80d381169f55f901d66de4f157585","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:48:06.598756Z","signature_b64":"Nzbezdr8Ad+jXPJzrec9MVkER+CYOhYKS41omDUDhH5iHLNLzflKZ1sdAKPxsGQUSji95E89zSDS6hn1/O08BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c6686af95c238dfea0cab30f03030ba105c80d381169f55f901d66de4f157585","last_reissued_at":"2026-07-05T05:48:06.598310Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:48:06.598310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.13482","source_version":3,"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-05T05:48:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IWqCbDlYPM5N4S/WRPO3ZIY83D42KPC7Nqvd7sTfIb07McO9z8ilSlodHh8/RjKjs75zk78RpnEyV7yC1zK1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:13:12.392343Z"},"content_sha256":"2c4cdbcae42918cad41456015816ecaa7ce27e9f127eb69ceca5e40ca08adaf5","schema_version":"1.0","event_id":"sha256:2c4cdbcae42918cad41456015816ecaa7ce27e9f127eb69ceca5e40ca08adaf5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YZUGV6K4EOG75IGKWMHQGAYLUE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PyReason: Software for Open World Temporal Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.LO","authors_text":"Abhiraj Chaudhary, Dyuman Aditya, Kaustuv Mukherji, Paulo Shakarian, Srikar Balasubramanian","submitted_at":"2023-02-27T02:40:05Z","abstract_excerpt":"The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software framework based on generalized annotated logic that both captures the current cohort of differentiable logics and temporal extensions to support inference over finite periods of time with capabilities for open world reasoning. Further, PyReason is implemented to directly support reasoning over graphical structures (e.g., knowledge graphs, social networks, biological networks, etc.), produces fully explainable traces of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.13482","kind":"arxiv","version":3},"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/2302.13482/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-05T05:48:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r56HtljrGQd8nCheWFtA0wjyXCCT68WHKjFV82JtFuNfdUq9GGAFaGY1wPEJI3plCc9HJmMnxsCjs+U+KoolBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T06:13:12.392990Z"},"content_sha256":"b8ca2a94da86d0cc629e80d740f7c1fb4ab4291307cb32c947191ad44b2d8473","schema_version":"1.0","event_id":"sha256:b8ca2a94da86d0cc629e80d740f7c1fb4ab4291307cb32c947191ad44b2d8473"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/bundle.json","state_url":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/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-08-09T06:13:12Z","links":{"resolver":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE","bundle":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/bundle.json","state":"https://pith.science/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YZUGV6K4EOG75IGKWMHQGAYLUE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YZUGV6K4EOG75IGKWMHQGAYLUE","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":"a6aa1236beb6121b30f5cc6deec485891457572b8b32c234dc57e8fc613c4954","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-02-27T02:40:05Z","title_canon_sha256":"6549b4f230848b8a9289a58fba1206514cd619cb6dc39661cf2cb851a1d63eba"},"schema_version":"1.0","source":{"id":"2302.13482","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.13482","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"arxiv_version","alias_value":"2302.13482v3","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.13482","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"pith_short_12","alias_value":"YZUGV6K4EOG7","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"pith_short_16","alias_value":"YZUGV6K4EOG75IGK","created_at":"2026-07-05T05:48:06Z"},{"alias_kind":"pith_short_8","alias_value":"YZUGV6K4","created_at":"2026-07-05T05:48:06Z"}],"graph_snapshots":[{"event_id":"sha256:b8ca2a94da86d0cc629e80d740f7c1fb4ab4291307cb32c947191ad44b2d8473","target":"graph","created_at":"2026-07-05T05:48:06Z","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/2302.13482/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software framework based on generalized annotated logic that both captures the current cohort of differentiable logics and temporal extensions to support inference over finite periods of time with capabilities for open world reasoning. Further, PyReason is implemented to directly support reasoning over graphical structures (e.g., knowledge graphs, social networks, biological networks, etc.), produces fully explainable traces of ","authors_text":"Abhiraj Chaudhary, Dyuman Aditya, Kaustuv Mukherji, Paulo Shakarian, Srikar Balasubramanian","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-02-27T02:40:05Z","title":"PyReason: Software for Open World Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.13482","kind":"arxiv","version":3},"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:2c4cdbcae42918cad41456015816ecaa7ce27e9f127eb69ceca5e40ca08adaf5","target":"record","created_at":"2026-07-05T05:48:06Z","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":"a6aa1236beb6121b30f5cc6deec485891457572b8b32c234dc57e8fc613c4954","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-02-27T02:40:05Z","title_canon_sha256":"6549b4f230848b8a9289a58fba1206514cd619cb6dc39661cf2cb851a1d63eba"},"schema_version":"1.0","source":{"id":"2302.13482","kind":"arxiv","version":3}},"canonical_sha256":"c6686af95c238dfea0cab30f03030ba105c80d381169f55f901d66de4f157585","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c6686af95c238dfea0cab30f03030ba105c80d381169f55f901d66de4f157585","first_computed_at":"2026-07-05T05:48:06.598310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:48:06.598310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Nzbezdr8Ad+jXPJzrec9MVkER+CYOhYKS41omDUDhH5iHLNLzflKZ1sdAKPxsGQUSji95E89zSDS6hn1/O08BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:48:06.598756Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.13482","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2c4cdbcae42918cad41456015816ecaa7ce27e9f127eb69ceca5e40ca08adaf5","sha256:b8ca2a94da86d0cc629e80d740f7c1fb4ab4291307cb32c947191ad44b2d8473"],"state_sha256":"14ff68c87ace642aaef291b75f571cc376cff6e4f0308cf0d399b5dddc3b6e6f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v/8D6LXN20Qu2URqggmmr2jV3veoJtzKSMiCYjxNDHRYeRvR0EaEHBSqWd1+JaDOx58NO0lFsnoszsD6nOPtCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T06:13:12.398029Z","bundle_sha256":"92fe1e8555b6ed60fb66cb877c67b4c83c5305598301eb29ef5c7e40e5d7a8a8"}}