{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ZKCXSCJES2JCF7GOSPRWGXSKC5","short_pith_number":"pith:ZKCXSCJE","canonical_record":{"source":{"id":"2303.10650","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-19T13:03:51Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"9789881e67b2826d25559da8033231f3797b84bc9b5d5de6bd013b914fb72387","abstract_canon_sha256":"5ec3f9e0422cca0c95cb23562021103dab5adc01ca50c0655e73e73ebe357e87"},"schema_version":"1.0"},"canonical_sha256":"ca85790924969222fcce93e3635e4a177dbcb43c97a690316948a51dfd9aa3a6","source":{"kind":"arxiv","id":"2303.10650","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.10650","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"arxiv_version","alias_value":"2303.10650v4","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.10650","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"pith_short_12","alias_value":"ZKCXSCJES2JC","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"pith_short_16","alias_value":"ZKCXSCJES2JCF7GO","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"pith_short_8","alias_value":"ZKCXSCJE","created_at":"2026-07-05T06:57:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ZKCXSCJES2JCF7GOSPRWGXSKC5","target":"record","payload":{"canonical_record":{"source":{"id":"2303.10650","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-19T13:03:51Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"9789881e67b2826d25559da8033231f3797b84bc9b5d5de6bd013b914fb72387","abstract_canon_sha256":"5ec3f9e0422cca0c95cb23562021103dab5adc01ca50c0655e73e73ebe357e87"},"schema_version":"1.0"},"canonical_sha256":"ca85790924969222fcce93e3635e4a177dbcb43c97a690316948a51dfd9aa3a6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:57:21.824609Z","signature_b64":"q0oXwLyl7CFK+p+r7HsJgbU/tl3eXjic6ehArxy7eLbTmQSVV3PxVCfwSRUXm08Xulrznmloi6WpZCQElLqbDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca85790924969222fcce93e3635e4a177dbcb43c97a690316948a51dfd9aa3a6","last_reissued_at":"2026-07-05T06:57:21.824099Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:57:21.824099Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.10650","source_version":4,"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-05T06:57:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zgaC669RW1bj05hPAj8czJ4pQS1WiUTdalPhn+8tivwFmI1esh/Z/qatas2KPyBLiolnzV3U0KyAeQOttpXpDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:54:44.629843Z"},"content_sha256":"c39c07f6fa4d22e8ac090dde9f606fcb196bbcd85a7e7a257eeb61ced653db1a","schema_version":"1.0","event_id":"sha256:c39c07f6fa4d22e8ac090dde9f606fcb196bbcd85a7e7a257eeb61ced653db1a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ZKCXSCJES2JCF7GOSPRWGXSKC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.LO","authors_text":"Ekaterina Komendantskaya, Kathrin Stark, Matthew L. Daggitt, Natalia \\'Slusarz, Robert Stewart","submitted_at":"2023-03-19T13:03:51Z","abstract_excerpt":"Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications are stated and an interpretation function that translates expressions in the syntax into loss functions. These loss functions can then be used during training with standard gradient descent algorithms. The variety of existing DLs and the differing levels of formality with which they are treated makes a systematic comparative study of their properties and implementations difficult. This paper remedies this problem by "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.10650","kind":"arxiv","version":4},"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/2303.10650/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-05T06:57:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L09NOuCnY0AO7Ov/7iHKmBmyaRgiwLB6H0gMZgszjX7BbNxFCc19jMC2AI2wdjGdjzUPRJeCSJ/ieFzCINI3DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:54:44.630503Z"},"content_sha256":"4fb3d3ebf812c7f1dde2a51ad9e77eb5f4007cccf986e8571d710cb4150db3e7","schema_version":"1.0","event_id":"sha256:4fb3d3ebf812c7f1dde2a51ad9e77eb5f4007cccf986e8571d710cb4150db3e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZKCXSCJES2JCF7GOSPRWGXSKC5/bundle.json","state_url":"https://pith.science/pith/ZKCXSCJES2JCF7GOSPRWGXSKC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZKCXSCJES2JCF7GOSPRWGXSKC5/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-09T05:54:44Z","links":{"resolver":"https://pith.science/pith/ZKCXSCJES2JCF7GOSPRWGXSKC5","bundle":"https://pith.science/pith/ZKCXSCJES2JCF7GOSPRWGXSKC5/bundle.json","state":"https://pith.science/pith/ZKCXSCJES2JCF7GOSPRWGXSKC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZKCXSCJES2JCF7GOSPRWGXSKC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZKCXSCJES2JCF7GOSPRWGXSKC5","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":"5ec3f9e0422cca0c95cb23562021103dab5adc01ca50c0655e73e73ebe357e87","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-19T13:03:51Z","title_canon_sha256":"9789881e67b2826d25559da8033231f3797b84bc9b5d5de6bd013b914fb72387"},"schema_version":"1.0","source":{"id":"2303.10650","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.10650","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"arxiv_version","alias_value":"2303.10650v4","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.10650","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"pith_short_12","alias_value":"ZKCXSCJES2JC","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"pith_short_16","alias_value":"ZKCXSCJES2JCF7GO","created_at":"2026-07-05T06:57:21Z"},{"alias_kind":"pith_short_8","alias_value":"ZKCXSCJE","created_at":"2026-07-05T06:57:21Z"}],"graph_snapshots":[{"event_id":"sha256:4fb3d3ebf812c7f1dde2a51ad9e77eb5f4007cccf986e8571d710cb4150db3e7","target":"graph","created_at":"2026-07-05T06:57:21Z","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/2303.10650/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications are stated and an interpretation function that translates expressions in the syntax into loss functions. These loss functions can then be used during training with standard gradient descent algorithms. The variety of existing DLs and the differing levels of formality with which they are treated makes a systematic comparative study of their properties and implementations difficult. This paper remedies this problem by ","authors_text":"Ekaterina Komendantskaya, Kathrin Stark, Matthew L. Daggitt, Natalia \\'Slusarz, Robert Stewart","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-19T13:03:51Z","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.10650","kind":"arxiv","version":4},"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:c39c07f6fa4d22e8ac090dde9f606fcb196bbcd85a7e7a257eeb61ced653db1a","target":"record","created_at":"2026-07-05T06:57:21Z","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":"5ec3f9e0422cca0c95cb23562021103dab5adc01ca50c0655e73e73ebe357e87","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2023-03-19T13:03:51Z","title_canon_sha256":"9789881e67b2826d25559da8033231f3797b84bc9b5d5de6bd013b914fb72387"},"schema_version":"1.0","source":{"id":"2303.10650","kind":"arxiv","version":4}},"canonical_sha256":"ca85790924969222fcce93e3635e4a177dbcb43c97a690316948a51dfd9aa3a6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca85790924969222fcce93e3635e4a177dbcb43c97a690316948a51dfd9aa3a6","first_computed_at":"2026-07-05T06:57:21.824099Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:57:21.824099Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q0oXwLyl7CFK+p+r7HsJgbU/tl3eXjic6ehArxy7eLbTmQSVV3PxVCfwSRUXm08Xulrznmloi6WpZCQElLqbDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:57:21.824609Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.10650","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c39c07f6fa4d22e8ac090dde9f606fcb196bbcd85a7e7a257eeb61ced653db1a","sha256:4fb3d3ebf812c7f1dde2a51ad9e77eb5f4007cccf986e8571d710cb4150db3e7"],"state_sha256":"ed950825d5d5b822206ef2ed7bbbd89f765bae1d715ec88f7f5cd85c9a6d23cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AghGX9qg75WLasgdf+NZI+o1IE/QFRwuwy8KF9HeZu/WWFAV0yA7NEYV5n0BP+pEeRsY7LLvi/5TUpfbBU66Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T05:54:44.634567Z","bundle_sha256":"1e04e876462d0f492b93868042a2a98260370743e5bf3d3074b59de3443eb1e0"}}