{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PZXTIAJUJPBTPJ5JH6SC4OH43I","short_pith_number":"pith:PZXTIAJU","canonical_record":{"source":{"id":"2606.19279","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-17T16:56:31Z","cross_cats_sorted":["cs.LG","cs.LO","math.CT","math.LO","math.PR"],"title_canon_sha256":"aceb53b83ec58e588f14a1920d8d62abfc9ae6b690f666bbe277f60fcd67c97d","abstract_canon_sha256":"3c8d797dbb4bfe4bd1cb2a877f8138304dc0da3049397f9b783d0a4e929165c1"},"schema_version":"1.0"},"canonical_sha256":"7e6f3401344bc337a7a93fa42e38fcda12715fc2609244d4104d734b826df0a4","source":{"kind":"arxiv","id":"2606.19279","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.19279","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"arxiv_version","alias_value":"2606.19279v1","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19279","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"pith_short_12","alias_value":"PZXTIAJUJPBT","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"pith_short_16","alias_value":"PZXTIAJUJPBTPJ5J","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"pith_short_8","alias_value":"PZXTIAJU","created_at":"2026-06-19T16:12:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PZXTIAJUJPBTPJ5JH6SC4OH43I","target":"record","payload":{"canonical_record":{"source":{"id":"2606.19279","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-17T16:56:31Z","cross_cats_sorted":["cs.LG","cs.LO","math.CT","math.LO","math.PR"],"title_canon_sha256":"aceb53b83ec58e588f14a1920d8d62abfc9ae6b690f666bbe277f60fcd67c97d","abstract_canon_sha256":"3c8d797dbb4bfe4bd1cb2a877f8138304dc0da3049397f9b783d0a4e929165c1"},"schema_version":"1.0"},"canonical_sha256":"7e6f3401344bc337a7a93fa42e38fcda12715fc2609244d4104d734b826df0a4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:12:09.526717Z","signature_b64":"RxAKcwMUQbrQv16DyJ5TmNfIaBk1T3tKXN+yedArgbH1/vBjaSyGsiKVcF33SAz07O+ETQl3Few2VHUfiQ8qDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e6f3401344bc337a7a93fa42e38fcda12715fc2609244d4104d734b826df0a4","last_reissued_at":"2026-06-19T16:12:09.526335Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:12:09.526335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.19279","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-06-19T16:12:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9OfUk8fZ4l8m124thVRUIa0LSMIIbfWMgKhtll2AgVVGTB8g/MqKtm7SyQJnPLpKEpZPnmm7CjPzXtcuesNIDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T19:54:30.388252Z"},"content_sha256":"f9e87753000340dea8847059150d7dff1a1766dcca580dda230a8150f8f5e064","schema_version":"1.0","event_id":"sha256:f9e87753000340dea8847059150d7dff1a1766dcca580dda230a8150f8f5e064"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PZXTIAJUJPBTPJ5JH6SC4OH43I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.LO","math.CT","math.LO","math.PR"],"primary_cat":"cs.AI","authors_text":"Bj\\\"orn Gehrke, Daniel Romero Schellhorn, Till Mossakowski","submitted_at":"2026-06-17T16:56:31Z","abstract_excerpt":"Neurosymbolic semantics is fragmented: classical, fuzzy, probabilistic and neural systems each define truth by their own inductive rules. NeSyCat, extending ULLER, subsumes them under a single inductive definition of truth, parametric in a strong monad and an aggregation structure on truth-values. NeSyCat has so far lacked an account of predicates and functions learned by neural networks.\n  We provide NeSyCat Torch as the missing link and interpret computational symbols via neural networks, implementing the framework in probabilistic programming and tensor-based backends. We use the distributi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19279","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/2606.19279/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-06-19T16:12:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p+C0F8U88tJ9+BSCWMDDJi2I/H9y0YqtmSooJ4UAVGc7g8mwzHX8tzqk+6qJcSemm3nCC0aQ4CvtK8sRYU9SAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T19:54:30.388645Z"},"content_sha256":"356ad5ab961c558b5ef99cd48ae2d986177f1d45705dc8e2dd6bfbc2c437eeaf","schema_version":"1.0","event_id":"sha256:356ad5ab961c558b5ef99cd48ae2d986177f1d45705dc8e2dd6bfbc2c437eeaf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PZXTIAJUJPBTPJ5JH6SC4OH43I/bundle.json","state_url":"https://pith.science/pith/PZXTIAJUJPBTPJ5JH6SC4OH43I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PZXTIAJUJPBTPJ5JH6SC4OH43I/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-06-30T19:54:30Z","links":{"resolver":"https://pith.science/pith/PZXTIAJUJPBTPJ5JH6SC4OH43I","bundle":"https://pith.science/pith/PZXTIAJUJPBTPJ5JH6SC4OH43I/bundle.json","state":"https://pith.science/pith/PZXTIAJUJPBTPJ5JH6SC4OH43I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PZXTIAJUJPBTPJ5JH6SC4OH43I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PZXTIAJUJPBTPJ5JH6SC4OH43I","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":"3c8d797dbb4bfe4bd1cb2a877f8138304dc0da3049397f9b783d0a4e929165c1","cross_cats_sorted":["cs.LG","cs.LO","math.CT","math.LO","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-17T16:56:31Z","title_canon_sha256":"aceb53b83ec58e588f14a1920d8d62abfc9ae6b690f666bbe277f60fcd67c97d"},"schema_version":"1.0","source":{"id":"2606.19279","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.19279","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"arxiv_version","alias_value":"2606.19279v1","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19279","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"pith_short_12","alias_value":"PZXTIAJUJPBT","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"pith_short_16","alias_value":"PZXTIAJUJPBTPJ5J","created_at":"2026-06-19T16:12:09Z"},{"alias_kind":"pith_short_8","alias_value":"PZXTIAJU","created_at":"2026-06-19T16:12:09Z"}],"graph_snapshots":[{"event_id":"sha256:356ad5ab961c558b5ef99cd48ae2d986177f1d45705dc8e2dd6bfbc2c437eeaf","target":"graph","created_at":"2026-06-19T16:12:09Z","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/2606.19279/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neurosymbolic semantics is fragmented: classical, fuzzy, probabilistic and neural systems each define truth by their own inductive rules. NeSyCat, extending ULLER, subsumes them under a single inductive definition of truth, parametric in a strong monad and an aggregation structure on truth-values. NeSyCat has so far lacked an account of predicates and functions learned by neural networks.\n  We provide NeSyCat Torch as the missing link and interpret computational symbols via neural networks, implementing the framework in probabilistic programming and tensor-based backends. We use the distributi","authors_text":"Bj\\\"orn Gehrke, Daniel Romero Schellhorn, Till Mossakowski","cross_cats":["cs.LG","cs.LO","math.CT","math.LO","math.PR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-17T16:56:31Z","title":"NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19279","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:f9e87753000340dea8847059150d7dff1a1766dcca580dda230a8150f8f5e064","target":"record","created_at":"2026-06-19T16:12:09Z","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":"3c8d797dbb4bfe4bd1cb2a877f8138304dc0da3049397f9b783d0a4e929165c1","cross_cats_sorted":["cs.LG","cs.LO","math.CT","math.LO","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-17T16:56:31Z","title_canon_sha256":"aceb53b83ec58e588f14a1920d8d62abfc9ae6b690f666bbe277f60fcd67c97d"},"schema_version":"1.0","source":{"id":"2606.19279","kind":"arxiv","version":1}},"canonical_sha256":"7e6f3401344bc337a7a93fa42e38fcda12715fc2609244d4104d734b826df0a4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e6f3401344bc337a7a93fa42e38fcda12715fc2609244d4104d734b826df0a4","first_computed_at":"2026-06-19T16:12:09.526335Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:12:09.526335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RxAKcwMUQbrQv16DyJ5TmNfIaBk1T3tKXN+yedArgbH1/vBjaSyGsiKVcF33SAz07O+ETQl3Few2VHUfiQ8qDA==","signature_status":"signed_v1","signed_at":"2026-06-19T16:12:09.526717Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.19279","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f9e87753000340dea8847059150d7dff1a1766dcca580dda230a8150f8f5e064","sha256:356ad5ab961c558b5ef99cd48ae2d986177f1d45705dc8e2dd6bfbc2c437eeaf"],"state_sha256":"467c24da2cdc809f735851168be86a8065097062567e951d7e7636c226e0e704"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1UTFMLh3U3awW+ZIHdlsZLlDO/CZClmnMdZZSigpm+rNgxXftkZFVeq68Gm2dX6M+9f/9zAV8ribsdb0QnHjAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T19:54:30.390849Z","bundle_sha256":"160613164baebdf20ffb3c5c33ae12d306edbc276dfed059397bb39dbdf9836e"}}