{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:WGGFSALTTX6BQLZG73EMUJGNRD","short_pith_number":"pith:WGGFSALT","canonical_record":{"source":{"id":"2505.00466","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-01T11:33:38Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"c4ccbe54ba4040ee78b18505b67b1845abf871c6daa073fd19887b3c21a8ba16","abstract_canon_sha256":"4e282afd009da0929e072301f84f068fff9130fe620256207716243cf0b30cd9"},"schema_version":"1.0"},"canonical_sha256":"b18c5901739dfc182f26fec8ca24cd88dd1d88e36f96ae45639b5eacdfcd23af","source":{"kind":"arxiv","id":"2505.00466","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.00466","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"arxiv_version","alias_value":"2505.00466v2","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.00466","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"pith_short_12","alias_value":"WGGFSALTTX6B","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"WGGFSALTTX6BQLZG","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"WGGFSALT","created_at":"2026-07-05T11:26:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:WGGFSALTTX6BQLZG73EMUJGNRD","target":"record","payload":{"canonical_record":{"source":{"id":"2505.00466","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-01T11:33:38Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"c4ccbe54ba4040ee78b18505b67b1845abf871c6daa073fd19887b3c21a8ba16","abstract_canon_sha256":"4e282afd009da0929e072301f84f068fff9130fe620256207716243cf0b30cd9"},"schema_version":"1.0"},"canonical_sha256":"b18c5901739dfc182f26fec8ca24cd88dd1d88e36f96ae45639b5eacdfcd23af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:26:04.039485Z","signature_b64":"btMSVKY8qlpo/wjrEsT0us1V9nw7HQxN5TVQAM3aa+76VlTz1inYvGDBfsY0ktjE4C47ptdPvfNutG5lkp7vBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b18c5901739dfc182f26fec8ca24cd88dd1d88e36f96ae45639b5eacdfcd23af","last_reissued_at":"2026-07-05T11:26:04.039055Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:26:04.039055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.00466","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-05T11:26:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A/qRMYk9D2tO6iWV/dToLsGm/gA42if38SuZa3Tpfy2xmQ9Xfq5VpAQi+KfJUo4LlqIogAuFyIWhL9DSFGC6DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T16:20:33.281258Z"},"content_sha256":"80b972f04390f92a0d5d9c5fcdf4edbf56a75d004c921a90d85ca14ad1a0f748","schema_version":"1.0","event_id":"sha256:80b972f04390f92a0d5d9c5fcdf4edbf56a75d004c921a90d85ca14ad1a0f748"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:WGGFSALTTX6BQLZG73EMUJGNRD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A General Framework for Property-Driven Machine Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Rosemary Monahan, Thomas Flinkow","submitted_at":"2025-05-01T11:33:38Z","abstract_excerpt":"Neural networks have been shown to frequently fail to learn critical safety and correctness properties purely from data, highlighting the need for training methods that directly integrate logical specifications. While adversarial training can be used to improve robustness to small perturbations within $\\epsilon$-cubes, domains other than computer vision -- such as control systems and natural language processing -- may require more flexible input region specifications via generalised hyper-rectangles. Differentiable logics offer a way to encode arbitrary logical constraints as additional loss t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.00466","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/2505.00466/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-05T11:26:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M9NAotPCU8OumOG3FUX73Mk6By5D3s88IKtnY+9HSVonCd0MtQkVgE2Grgvzo41OC1lkC+t6gqOhA9g88Ow8Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T16:20:33.282209Z"},"content_sha256":"20d8c8a6ca02e3479ff8863626ea5269bb2852d3424d699dbcdfc62460562092","schema_version":"1.0","event_id":"sha256:20d8c8a6ca02e3479ff8863626ea5269bb2852d3424d699dbcdfc62460562092"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WGGFSALTTX6BQLZG73EMUJGNRD/bundle.json","state_url":"https://pith.science/pith/WGGFSALTTX6BQLZG73EMUJGNRD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WGGFSALTTX6BQLZG73EMUJGNRD/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-16T16:20:33Z","links":{"resolver":"https://pith.science/pith/WGGFSALTTX6BQLZG73EMUJGNRD","bundle":"https://pith.science/pith/WGGFSALTTX6BQLZG73EMUJGNRD/bundle.json","state":"https://pith.science/pith/WGGFSALTTX6BQLZG73EMUJGNRD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WGGFSALTTX6BQLZG73EMUJGNRD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:WGGFSALTTX6BQLZG73EMUJGNRD","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":"4e282afd009da0929e072301f84f068fff9130fe620256207716243cf0b30cd9","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-01T11:33:38Z","title_canon_sha256":"c4ccbe54ba4040ee78b18505b67b1845abf871c6daa073fd19887b3c21a8ba16"},"schema_version":"1.0","source":{"id":"2505.00466","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.00466","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"arxiv_version","alias_value":"2505.00466v2","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.00466","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"pith_short_12","alias_value":"WGGFSALTTX6B","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"WGGFSALTTX6BQLZG","created_at":"2026-07-05T11:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"WGGFSALT","created_at":"2026-07-05T11:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:20d8c8a6ca02e3479ff8863626ea5269bb2852d3424d699dbcdfc62460562092","target":"graph","created_at":"2026-07-05T11:26:04Z","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/2505.00466/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks have been shown to frequently fail to learn critical safety and correctness properties purely from data, highlighting the need for training methods that directly integrate logical specifications. While adversarial training can be used to improve robustness to small perturbations within $\\epsilon$-cubes, domains other than computer vision -- such as control systems and natural language processing -- may require more flexible input region specifications via generalised hyper-rectangles. Differentiable logics offer a way to encode arbitrary logical constraints as additional loss t","authors_text":"Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Rosemary Monahan, Thomas Flinkow","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.00466","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:80b972f04390f92a0d5d9c5fcdf4edbf56a75d004c921a90d85ca14ad1a0f748","target":"record","created_at":"2026-07-05T11:26:04Z","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":"4e282afd009da0929e072301f84f068fff9130fe620256207716243cf0b30cd9","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-01T11:33:38Z","title_canon_sha256":"c4ccbe54ba4040ee78b18505b67b1845abf871c6daa073fd19887b3c21a8ba16"},"schema_version":"1.0","source":{"id":"2505.00466","kind":"arxiv","version":2}},"canonical_sha256":"b18c5901739dfc182f26fec8ca24cd88dd1d88e36f96ae45639b5eacdfcd23af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b18c5901739dfc182f26fec8ca24cd88dd1d88e36f96ae45639b5eacdfcd23af","first_computed_at":"2026-07-05T11:26:04.039055Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:26:04.039055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"btMSVKY8qlpo/wjrEsT0us1V9nw7HQxN5TVQAM3aa+76VlTz1inYvGDBfsY0ktjE4C47ptdPvfNutG5lkp7vBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:26:04.039485Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.00466","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:80b972f04390f92a0d5d9c5fcdf4edbf56a75d004c921a90d85ca14ad1a0f748","sha256:20d8c8a6ca02e3479ff8863626ea5269bb2852d3424d699dbcdfc62460562092"],"state_sha256":"a6e8a12e631ab9d8593bf00f0ecef4ce3a39b5ce93e60ef4c7d1a841d909c767"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R+mSpU1NXGzA+ZKTjYEUqf+6h+lja3/SXBA0+Lffk0A6fCemzlc9IXl24de/6hWwcEfvha2UN3vo4OhRAYIPBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T16:20:33.286977Z","bundle_sha256":"a464ecd70fec934bd2ea2a5f043e9be876e25c5cde379b60ab73e92adac97dcc"}}