{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:LVU2TSWPMDTDEM26GQFVZ2KZY7","short_pith_number":"pith:LVU2TSWP","canonical_record":{"source":{"id":"2207.06741","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-07-14T08:48:26Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"57e954e2cea86eb0e5f66ebebc7c616559d6ddf6517a6861385cb047eaf4a771","abstract_canon_sha256":"c589a392eac36f5706c4954b2ba8a2b813012798af0a1c6ae957dd4064b4b45c"},"schema_version":"1.0"},"canonical_sha256":"5d69a9cacf60e632335e340b5ce959c7f96b79bb5c3f3b2fb77c26a1a5a10b66","source":{"kind":"arxiv","id":"2207.06741","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.06741","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"arxiv_version","alias_value":"2207.06741v1","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.06741","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"pith_short_12","alias_value":"LVU2TSWPMDTD","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"pith_short_16","alias_value":"LVU2TSWPMDTDEM26","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"pith_short_8","alias_value":"LVU2TSWP","created_at":"2026-07-05T04:40:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:LVU2TSWPMDTDEM26GQFVZ2KZY7","target":"record","payload":{"canonical_record":{"source":{"id":"2207.06741","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-07-14T08:48:26Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"57e954e2cea86eb0e5f66ebebc7c616559d6ddf6517a6861385cb047eaf4a771","abstract_canon_sha256":"c589a392eac36f5706c4954b2ba8a2b813012798af0a1c6ae957dd4064b4b45c"},"schema_version":"1.0"},"canonical_sha256":"5d69a9cacf60e632335e340b5ce959c7f96b79bb5c3f3b2fb77c26a1a5a10b66","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:40:16.522763Z","signature_b64":"3INAANKZL9OqN83XJTALn3d9MQQOOvMRWE7trknzEQmy4Rj9wGP+h6i61hr4pjx1gBSYsJGklfnj9e0QjFIBDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5d69a9cacf60e632335e340b5ce959c7f96b79bb5c3f3b2fb77c26a1a5a10b66","last_reissued_at":"2026-07-05T04:40:16.522389Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:40:16.522389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2207.06741","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:40:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CcGQ+Qy5N6SJvUJisyLar2KYp3+iK2n6AzCU0rRHSV12PMLCAePJMEOGNlmDUSfDiLsZOWa74n5aV6HlzyQDAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T16:25:46.495399Z"},"content_sha256":"da8616742f2be43f4c1e13649259b2bf4314dd04ca397b8db34878a1caabf36b","schema_version":"1.0","event_id":"sha256:da8616742f2be43f4c1e13649259b2bf4314dd04ca397b8db34878a1caabf36b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:LVU2TSWPMDTDEM26GQFVZ2KZY7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Differentiable Logics for Neural Network Training and Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Ekaterina Komendantskaya, Matthew L. Daggitt, Natalia Slusarz, Robert Stewart","submitted_at":"2022-07-14T08:48:26Z","abstract_excerpt":"The rising popularity of neural networks (NNs) in recent years and their increasing prevalence in real-world applications have drawn attention to the importance of their verification. While verification is known to be computationally difficult theoretically, many techniques have been proposed for solving it in practice. It has been observed in the literature that by default neural networks rarely satisfy logical constraints that we want to verify. A good course of action is to train the given NN to satisfy said constraint prior to verifying them. This idea is sometimes referred to as continuou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.06741","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/2207.06741/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:40:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gQBQTgajDk4Dbcc/FBl4Ib2Wjo2ZY5GqBso2s43fOrZL6vuI8o/nUolfp7Tt3roo1RDHHLgg4BNIssfwrYqdBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T16:25:46.495930Z"},"content_sha256":"0650d3fc44aa33f4facfeb1912d5123c9fff08766a649b161f79fbb196ab1324","schema_version":"1.0","event_id":"sha256:0650d3fc44aa33f4facfeb1912d5123c9fff08766a649b161f79fbb196ab1324"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LVU2TSWPMDTDEM26GQFVZ2KZY7/bundle.json","state_url":"https://pith.science/pith/LVU2TSWPMDTDEM26GQFVZ2KZY7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LVU2TSWPMDTDEM26GQFVZ2KZY7/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-31T16:25:46Z","links":{"resolver":"https://pith.science/pith/LVU2TSWPMDTDEM26GQFVZ2KZY7","bundle":"https://pith.science/pith/LVU2TSWPMDTDEM26GQFVZ2KZY7/bundle.json","state":"https://pith.science/pith/LVU2TSWPMDTDEM26GQFVZ2KZY7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LVU2TSWPMDTDEM26GQFVZ2KZY7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:LVU2TSWPMDTDEM26GQFVZ2KZY7","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":"c589a392eac36f5706c4954b2ba8a2b813012798af0a1c6ae957dd4064b4b45c","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-07-14T08:48:26Z","title_canon_sha256":"57e954e2cea86eb0e5f66ebebc7c616559d6ddf6517a6861385cb047eaf4a771"},"schema_version":"1.0","source":{"id":"2207.06741","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.06741","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"arxiv_version","alias_value":"2207.06741v1","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.06741","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"pith_short_12","alias_value":"LVU2TSWPMDTD","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"pith_short_16","alias_value":"LVU2TSWPMDTDEM26","created_at":"2026-07-05T04:40:16Z"},{"alias_kind":"pith_short_8","alias_value":"LVU2TSWP","created_at":"2026-07-05T04:40:16Z"}],"graph_snapshots":[{"event_id":"sha256:0650d3fc44aa33f4facfeb1912d5123c9fff08766a649b161f79fbb196ab1324","target":"graph","created_at":"2026-07-05T04:40:16Z","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/2207.06741/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rising popularity of neural networks (NNs) in recent years and their increasing prevalence in real-world applications have drawn attention to the importance of their verification. While verification is known to be computationally difficult theoretically, many techniques have been proposed for solving it in practice. It has been observed in the literature that by default neural networks rarely satisfy logical constraints that we want to verify. A good course of action is to train the given NN to satisfy said constraint prior to verifying them. This idea is sometimes referred to as continuou","authors_text":"Ekaterina Komendantskaya, Matthew L. Daggitt, Natalia Slusarz, Robert Stewart","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-07-14T08:48:26Z","title":"Differentiable Logics for Neural Network Training and Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.06741","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:da8616742f2be43f4c1e13649259b2bf4314dd04ca397b8db34878a1caabf36b","target":"record","created_at":"2026-07-05T04:40:16Z","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":"c589a392eac36f5706c4954b2ba8a2b813012798af0a1c6ae957dd4064b4b45c","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-07-14T08:48:26Z","title_canon_sha256":"57e954e2cea86eb0e5f66ebebc7c616559d6ddf6517a6861385cb047eaf4a771"},"schema_version":"1.0","source":{"id":"2207.06741","kind":"arxiv","version":1}},"canonical_sha256":"5d69a9cacf60e632335e340b5ce959c7f96b79bb5c3f3b2fb77c26a1a5a10b66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d69a9cacf60e632335e340b5ce959c7f96b79bb5c3f3b2fb77c26a1a5a10b66","first_computed_at":"2026-07-05T04:40:16.522389Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:40:16.522389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3INAANKZL9OqN83XJTALn3d9MQQOOvMRWE7trknzEQmy4Rj9wGP+h6i61hr4pjx1gBSYsJGklfnj9e0QjFIBDw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:40:16.522763Z","signed_message":"canonical_sha256_bytes"},"source_id":"2207.06741","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da8616742f2be43f4c1e13649259b2bf4314dd04ca397b8db34878a1caabf36b","sha256:0650d3fc44aa33f4facfeb1912d5123c9fff08766a649b161f79fbb196ab1324"],"state_sha256":"f2dada901b51bbc2c8176ed84cc951ec7dc51c0254df927406392972355307a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UvGGxtEeoz0SrlDRjnO4GfXQrVzcPCwgm/343/ulHxjJ+KfU/u1cfNECjikvBdzLlmRL9UIbw26FskbSP1xvCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T16:25:46.501075Z","bundle_sha256":"dbf2c637776ebb5ac955b1f055674afc4087c374fb36467d38f0a134e7957c08"}}