{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:K364LVUJAUTTQONYDEF5WY5ZEL","short_pith_number":"pith:K364LVUJ","canonical_record":{"source":{"id":"2303.01141","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-02T10:40:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ea3a6d1c61338d032ec2f48faebef9d5c1e0cc605d4e129680dd354fb121f65f","abstract_canon_sha256":"fede7f822675e042270cc4d8941ae6f3c74b499b824c3d4322b3ece391d405ff"},"schema_version":"1.0"},"canonical_sha256":"56fdc5d68905273839b8190bdb63b922f1774b05aa7de2e954d7ad6e987e770d","source":{"kind":"arxiv","id":"2303.01141","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.01141","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"2303.01141v3","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.01141","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"K364LVUJAUTT","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_16","alias_value":"K364LVUJAUTTQONY","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_8","alias_value":"K364LVUJ","created_at":"2026-07-05T07:23:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:K364LVUJAUTTQONYDEF5WY5ZEL","target":"record","payload":{"canonical_record":{"source":{"id":"2303.01141","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-02T10:40:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ea3a6d1c61338d032ec2f48faebef9d5c1e0cc605d4e129680dd354fb121f65f","abstract_canon_sha256":"fede7f822675e042270cc4d8941ae6f3c74b499b824c3d4322b3ece391d405ff"},"schema_version":"1.0"},"canonical_sha256":"56fdc5d68905273839b8190bdb63b922f1774b05aa7de2e954d7ad6e987e770d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:23:56.008767Z","signature_b64":"n1KKmgtjLuFBPLFgQ3o8auO9G1dO3jLO2Cc1itWYDSmX6/ITqLLtCiiwteW1xRK7gV55rdQaR6btznQDaWbDBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56fdc5d68905273839b8190bdb63b922f1774b05aa7de2e954d7ad6e987e770d","last_reissued_at":"2026-07-05T07:23:56.008289Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:23:56.008289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.01141","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-05T07:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hvBfC69FHL2nc4ZBti0TfpuQSbTS51EC1Blc7XyyDw7zns0z4PExnn1kJJrrhLbBtKfTjmeXFyiV1qTdx0e6DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:03:44.908926Z"},"content_sha256":"f7d475e71feafa8b8574ab35b3184713467666daf11183cc2280958fa65b2a42","schema_version":"1.0","event_id":"sha256:f7d475e71feafa8b8574ab35b3184713467666daf11183cc2280958fa65b2a42"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:K364LVUJAUTTQONYDEF5WY5ZEL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Hendrik Blockeel, Kshitij Goyal, Sebastijan Dumancic","submitted_at":"2023-03-02T10:40:50Z","abstract_excerpt":"As machine learning models, specifically neural networks, are becoming increasingly popular, there are concerns regarding their trustworthiness, specially in safety-critical applications, e.g. actions of an autonomous vehicle must be safe. There are approaches that can train neural networks where such domain requirements are enforced as constraints, but they either cannot guarantee that the constraint will be satisfied by all possible predictions (even on unseen data) or they are limited in the type of constraints that can be enforced. In this paper, we present an approach to train neural netw"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.01141","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/2303.01141/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-05T07:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3vDwuk2JO7yaPrmGAdBBdrqKXKlvZ+agwdCUgKiMu714W/jivk/qLcuDGWSG2eCCbO6FrONdDMoWn7SJJ3dHAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:03:44.909698Z"},"content_sha256":"c444609bf06b3e77240f0e1e5e8a96c3b73dc392b7721ef11e0fff5f98b1d2fc","schema_version":"1.0","event_id":"sha256:c444609bf06b3e77240f0e1e5e8a96c3b73dc392b7721ef11e0fff5f98b1d2fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K364LVUJAUTTQONYDEF5WY5ZEL/bundle.json","state_url":"https://pith.science/pith/K364LVUJAUTTQONYDEF5WY5ZEL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K364LVUJAUTTQONYDEF5WY5ZEL/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-04T00:03:44Z","links":{"resolver":"https://pith.science/pith/K364LVUJAUTTQONYDEF5WY5ZEL","bundle":"https://pith.science/pith/K364LVUJAUTTQONYDEF5WY5ZEL/bundle.json","state":"https://pith.science/pith/K364LVUJAUTTQONYDEF5WY5ZEL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K364LVUJAUTTQONYDEF5WY5ZEL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:K364LVUJAUTTQONYDEF5WY5ZEL","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":"fede7f822675e042270cc4d8941ae6f3c74b499b824c3d4322b3ece391d405ff","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-02T10:40:50Z","title_canon_sha256":"ea3a6d1c61338d032ec2f48faebef9d5c1e0cc605d4e129680dd354fb121f65f"},"schema_version":"1.0","source":{"id":"2303.01141","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.01141","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"2303.01141v3","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.01141","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"K364LVUJAUTT","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_16","alias_value":"K364LVUJAUTTQONY","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_8","alias_value":"K364LVUJ","created_at":"2026-07-05T07:23:56Z"}],"graph_snapshots":[{"event_id":"sha256:c444609bf06b3e77240f0e1e5e8a96c3b73dc392b7721ef11e0fff5f98b1d2fc","target":"graph","created_at":"2026-07-05T07:23:56Z","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.01141/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As machine learning models, specifically neural networks, are becoming increasingly popular, there are concerns regarding their trustworthiness, specially in safety-critical applications, e.g. actions of an autonomous vehicle must be safe. There are approaches that can train neural networks where such domain requirements are enforced as constraints, but they either cannot guarantee that the constraint will be satisfied by all possible predictions (even on unseen data) or they are limited in the type of constraints that can be enforced. In this paper, we present an approach to train neural netw","authors_text":"Hendrik Blockeel, Kshitij Goyal, Sebastijan Dumancic","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-02T10:40:50Z","title":"DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.01141","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:f7d475e71feafa8b8574ab35b3184713467666daf11183cc2280958fa65b2a42","target":"record","created_at":"2026-07-05T07:23:56Z","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":"fede7f822675e042270cc4d8941ae6f3c74b499b824c3d4322b3ece391d405ff","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-02T10:40:50Z","title_canon_sha256":"ea3a6d1c61338d032ec2f48faebef9d5c1e0cc605d4e129680dd354fb121f65f"},"schema_version":"1.0","source":{"id":"2303.01141","kind":"arxiv","version":3}},"canonical_sha256":"56fdc5d68905273839b8190bdb63b922f1774b05aa7de2e954d7ad6e987e770d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56fdc5d68905273839b8190bdb63b922f1774b05aa7de2e954d7ad6e987e770d","first_computed_at":"2026-07-05T07:23:56.008289Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:23:56.008289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n1KKmgtjLuFBPLFgQ3o8auO9G1dO3jLO2Cc1itWYDSmX6/ITqLLtCiiwteW1xRK7gV55rdQaR6btznQDaWbDBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:23:56.008767Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.01141","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7d475e71feafa8b8574ab35b3184713467666daf11183cc2280958fa65b2a42","sha256:c444609bf06b3e77240f0e1e5e8a96c3b73dc392b7721ef11e0fff5f98b1d2fc"],"state_sha256":"5cd9e0c380e3c207cfc9bc6cab0175c71fa3ce1e94a7d8249ef0a85353a295a5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s+c3hOzrZdbqY8p007V7n2013Gr3Ys2ai+QNHBUnYHCAY0dJQtxYd5SCo3RcDTmL4lrBcYiALBV0o02EFzQ0Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T00:03:44.916243Z","bundle_sha256":"88e88b75534a32f8f0fe0fb06a6a0af616d8e3d5f52ed3948da918210bb95412"}}