{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:MSYIG6XJNDANYS6EQA5SYQFZ3I","short_pith_number":"pith:MSYIG6XJ","canonical_record":{"source":{"id":"2502.02434","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-04T15:58:12Z","cross_cats_sorted":[],"title_canon_sha256":"fa2397246ae00604b03ef029877ae570b288e4ed371b45552f73e5f99d4a64a7","abstract_canon_sha256":"db7ff2f644ce95c0bee8d576989a692ca9e98fbbc484314fb9d1adf010493bab"},"schema_version":"1.0"},"canonical_sha256":"64b0837ae968c0dc4bc4803b2c40b9da0f75ad9ecadac5a5a1e3d1666b604430","source":{"kind":"arxiv","id":"2502.02434","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.02434","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"2502.02434v2","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.02434","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"MSYIG6XJNDAN","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_16","alias_value":"MSYIG6XJNDANYS6E","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_8","alias_value":"MSYIG6XJ","created_at":"2026-07-05T11:09:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:MSYIG6XJNDANYS6EQA5SYQFZ3I","target":"record","payload":{"canonical_record":{"source":{"id":"2502.02434","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-04T15:58:12Z","cross_cats_sorted":[],"title_canon_sha256":"fa2397246ae00604b03ef029877ae570b288e4ed371b45552f73e5f99d4a64a7","abstract_canon_sha256":"db7ff2f644ce95c0bee8d576989a692ca9e98fbbc484314fb9d1adf010493bab"},"schema_version":"1.0"},"canonical_sha256":"64b0837ae968c0dc4bc4803b2c40b9da0f75ad9ecadac5a5a1e3d1666b604430","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:09:44.920581Z","signature_b64":"vSkbm0xmzffeduSNF2SiIHaXGJxXAPPjRfl21Slt9pLhxJA6awObtTiJQNvYBGDaPvXSE9W01UHbOF/wFeBlAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64b0837ae968c0dc4bc4803b2c40b9da0f75ad9ecadac5a5a1e3d1666b604430","last_reissued_at":"2026-07-05T11:09:44.920074Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:09:44.920074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.02434","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:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ioocm6a224HN1eBEjaAg6qJv9jaCmDuCygX/NHcRKoXryKFa3WQoWcBifTGNEn6CQFnduYI59RzFAKgVEAXQBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T17:50:46.910827Z"},"content_sha256":"6e3d2472aa41da85cc0a5f2c4457c78134fbd589d83bd821859a4c74f79ef156","schema_version":"1.0","event_id":"sha256:6e3d2472aa41da85cc0a5f2c4457c78134fbd589d83bd821859a4c74f79ef156"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:MSYIG6XJNDANYS6EQA5SYQFZ3I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Adrian Butscher, Hyunmin Cheong, Mohammadmehdi Ataei","submitted_at":"2025-02-04T15:58:12Z","abstract_excerpt":"Deep neural networks are increasingly used in safety-critical domains such as robotics and scientific modeling, where strict adherence to output constraints is essential. Methods like POLICE, which are tailored for single convex regions, face challenges when extended to multiple disjoint regions, often leading to constraint violations or unwanted affine behavior across regions. This paper proposes mPOLICE, a new approach that generalizes POLICE to provably enforce affine constraints over multiple disjoint convex regions. At its core, mPOLICE assigns distinct neuron activation patterns to each "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.02434","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/2502.02434/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:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mr4qrc84MT4DUY5QVuurCsz142hjnC5rFvf7EHoH1ZGdbVb9z6KT0kHsdcf/LV+K2Pag3pkw23LBzDqK8KVjBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T17:50:46.911349Z"},"content_sha256":"ba2aaef9c27b6ee4166b1499bc0a44731e8b472f233ac1463f8c75beb6382aaf","schema_version":"1.0","event_id":"sha256:ba2aaef9c27b6ee4166b1499bc0a44731e8b472f233ac1463f8c75beb6382aaf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MSYIG6XJNDANYS6EQA5SYQFZ3I/bundle.json","state_url":"https://pith.science/pith/MSYIG6XJNDANYS6EQA5SYQFZ3I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MSYIG6XJNDANYS6EQA5SYQFZ3I/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-16T17:50:46Z","links":{"resolver":"https://pith.science/pith/MSYIG6XJNDANYS6EQA5SYQFZ3I","bundle":"https://pith.science/pith/MSYIG6XJNDANYS6EQA5SYQFZ3I/bundle.json","state":"https://pith.science/pith/MSYIG6XJNDANYS6EQA5SYQFZ3I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MSYIG6XJNDANYS6EQA5SYQFZ3I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:MSYIG6XJNDANYS6EQA5SYQFZ3I","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":"db7ff2f644ce95c0bee8d576989a692ca9e98fbbc484314fb9d1adf010493bab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-04T15:58:12Z","title_canon_sha256":"fa2397246ae00604b03ef029877ae570b288e4ed371b45552f73e5f99d4a64a7"},"schema_version":"1.0","source":{"id":"2502.02434","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.02434","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"2502.02434v2","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.02434","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"MSYIG6XJNDAN","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_16","alias_value":"MSYIG6XJNDANYS6E","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_8","alias_value":"MSYIG6XJ","created_at":"2026-07-05T11:09:44Z"}],"graph_snapshots":[{"event_id":"sha256:ba2aaef9c27b6ee4166b1499bc0a44731e8b472f233ac1463f8c75beb6382aaf","target":"graph","created_at":"2026-07-05T11:09:44Z","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/2502.02434/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep neural networks are increasingly used in safety-critical domains such as robotics and scientific modeling, where strict adherence to output constraints is essential. Methods like POLICE, which are tailored for single convex regions, face challenges when extended to multiple disjoint regions, often leading to constraint violations or unwanted affine behavior across regions. This paper proposes mPOLICE, a new approach that generalizes POLICE to provably enforce affine constraints over multiple disjoint convex regions. At its core, mPOLICE assigns distinct neuron activation patterns to each ","authors_text":"Adrian Butscher, Hyunmin Cheong, Mohammadmehdi Ataei","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.02434","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:6e3d2472aa41da85cc0a5f2c4457c78134fbd589d83bd821859a4c74f79ef156","target":"record","created_at":"2026-07-05T11:09:44Z","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":"db7ff2f644ce95c0bee8d576989a692ca9e98fbbc484314fb9d1adf010493bab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-04T15:58:12Z","title_canon_sha256":"fa2397246ae00604b03ef029877ae570b288e4ed371b45552f73e5f99d4a64a7"},"schema_version":"1.0","source":{"id":"2502.02434","kind":"arxiv","version":2}},"canonical_sha256":"64b0837ae968c0dc4bc4803b2c40b9da0f75ad9ecadac5a5a1e3d1666b604430","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"64b0837ae968c0dc4bc4803b2c40b9da0f75ad9ecadac5a5a1e3d1666b604430","first_computed_at":"2026-07-05T11:09:44.920074Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:09:44.920074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vSkbm0xmzffeduSNF2SiIHaXGJxXAPPjRfl21Slt9pLhxJA6awObtTiJQNvYBGDaPvXSE9W01UHbOF/wFeBlAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:09:44.920581Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.02434","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e3d2472aa41da85cc0a5f2c4457c78134fbd589d83bd821859a4c74f79ef156","sha256:ba2aaef9c27b6ee4166b1499bc0a44731e8b472f233ac1463f8c75beb6382aaf"],"state_sha256":"342ba69dbe321658ae46700c0628fafcabaa5f0425731bd9d58e7e8ab7fedfab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B/wB5sEQWwO4BTUDJVTe92Rq10JEsSn3h8tFOgeiOt0nlulicnwe2QWa2lYTuFV7VRr+Uu4Fs5niDy2hfI6KAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T17:50:46.915538Z","bundle_sha256":"86c676c5fb876980641f21203ce50ec93981b3925a2559c94ad0fb2979f489ae"}}