{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:ZEBTJJF6BMK3ZSQKH6B7OIGBQF","short_pith_number":"pith:ZEBTJJF6","canonical_record":{"source":{"id":"2105.07776","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-17T12:40:51Z","cross_cats_sorted":["cs.NE","cs.PF"],"title_canon_sha256":"f71034054463c2a1c2f0ecb42b2b7edec3d6416baed0a987cda3ee8314b2d572","abstract_canon_sha256":"5474b1fde0a1a3ab7b362f8c19cbfa4b57ccf0b694094fb8dc440dea00f6234a"},"schema_version":"1.0"},"canonical_sha256":"c90334a4be0b15bcca0a3f83f720c18165ff6e3181e7c30cdcea24760e1cfe8b","source":{"kind":"arxiv","id":"2105.07776","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.07776","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"2105.07776v1","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.07776","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"ZEBTJJF6BMK3","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"pith_short_16","alias_value":"ZEBTJJF6BMK3ZSQK","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"pith_short_8","alias_value":"ZEBTJJF6","created_at":"2026-07-05T02:40:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:ZEBTJJF6BMK3ZSQKH6B7OIGBQF","target":"record","payload":{"canonical_record":{"source":{"id":"2105.07776","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-17T12:40:51Z","cross_cats_sorted":["cs.NE","cs.PF"],"title_canon_sha256":"f71034054463c2a1c2f0ecb42b2b7edec3d6416baed0a987cda3ee8314b2d572","abstract_canon_sha256":"5474b1fde0a1a3ab7b362f8c19cbfa4b57ccf0b694094fb8dc440dea00f6234a"},"schema_version":"1.0"},"canonical_sha256":"c90334a4be0b15bcca0a3f83f720c18165ff6e3181e7c30cdcea24760e1cfe8b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:40:44.413793Z","signature_b64":"QMb+yU876OEuJnsRooEpHnx8kJqkyeyBq1AuI+rWHY9eGxkZ23L2EWZXXLs6Jr3ijWE8pIvFelMsj3lBILp6Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c90334a4be0b15bcca0a3f83f720c18165ff6e3181e7c30cdcea24760e1cfe8b","last_reissued_at":"2026-07-05T02:40:44.413378Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:40:44.413378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.07776","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-05T02:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3yGiE6EnBdD3HKiiqKZZBkys3T/tdmCkkrTeZHaaNc7mS4YyLztKB2FiY3NwLwd6qOtiby7JueNPje/eCyJmDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T19:50:26.721565Z"},"content_sha256":"4b548a03c80e850afcf2f5978093d1ce903dc004b72a9739f49b5f0ae8c96d0f","schema_version":"1.0","event_id":"sha256:4b548a03c80e850afcf2f5978093d1ce903dc004b72a9739f49b5f0ae8c96d0f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:ZEBTJJF6BMK3ZSQKH6B7OIGBQF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NE","cs.PF"],"primary_cat":"cs.AI","authors_text":"Aymeric Varasse (LIST), Guillaume Charpiat (TAU), Julien Girard-Satabin (LIST, Marc Schoenauer (TAU), TAU), Zakaria Chihani (LIST)","submitted_at":"2021-05-17T12:40:51Z","abstract_excerpt":"The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tools, even if we restrict ourselves to networks with a piecewise linear structure. However, such networks yields subregions that are linear and thus simpler to analyse independently. In this paper, we propose a method to simplify the verification problem by operating a partitionning into multiple linear subproblems. To evaluate the feasibility of such an approach, we perform an empirical analysis of neural networks to e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.07776","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/2105.07776/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-05T02:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t+HoYU1jWD+mYXYdMl9R1l/nG4qYIeCqZfrL/9mIEp5IFc0J6YduAIDOjv3tuhJRIuq9fvaqQTdv51w6MhC6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T19:50:26.722221Z"},"content_sha256":"4c8a3463c9e5ccb16941face38e51c86dda449875c5fdb258dde0aa6c3773f36","schema_version":"1.0","event_id":"sha256:4c8a3463c9e5ccb16941face38e51c86dda449875c5fdb258dde0aa6c3773f36"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZEBTJJF6BMK3ZSQKH6B7OIGBQF/bundle.json","state_url":"https://pith.science/pith/ZEBTJJF6BMK3ZSQKH6B7OIGBQF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZEBTJJF6BMK3ZSQKH6B7OIGBQF/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-21T19:50:26Z","links":{"resolver":"https://pith.science/pith/ZEBTJJF6BMK3ZSQKH6B7OIGBQF","bundle":"https://pith.science/pith/ZEBTJJF6BMK3ZSQKH6B7OIGBQF/bundle.json","state":"https://pith.science/pith/ZEBTJJF6BMK3ZSQKH6B7OIGBQF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZEBTJJF6BMK3ZSQKH6B7OIGBQF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:ZEBTJJF6BMK3ZSQKH6B7OIGBQF","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":"5474b1fde0a1a3ab7b362f8c19cbfa4b57ccf0b694094fb8dc440dea00f6234a","cross_cats_sorted":["cs.NE","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-17T12:40:51Z","title_canon_sha256":"f71034054463c2a1c2f0ecb42b2b7edec3d6416baed0a987cda3ee8314b2d572"},"schema_version":"1.0","source":{"id":"2105.07776","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.07776","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"2105.07776v1","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.07776","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"ZEBTJJF6BMK3","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"pith_short_16","alias_value":"ZEBTJJF6BMK3ZSQK","created_at":"2026-07-05T02:40:44Z"},{"alias_kind":"pith_short_8","alias_value":"ZEBTJJF6","created_at":"2026-07-05T02:40:44Z"}],"graph_snapshots":[{"event_id":"sha256:4c8a3463c9e5ccb16941face38e51c86dda449875c5fdb258dde0aa6c3773f36","target":"graph","created_at":"2026-07-05T02:40: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/2105.07776/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tools, even if we restrict ourselves to networks with a piecewise linear structure. However, such networks yields subregions that are linear and thus simpler to analyse independently. In this paper, we propose a method to simplify the verification problem by operating a partitionning into multiple linear subproblems. To evaluate the feasibility of such an approach, we perform an empirical analysis of neural networks to e","authors_text":"Aymeric Varasse (LIST), Guillaume Charpiat (TAU), Julien Girard-Satabin (LIST, Marc Schoenauer (TAU), TAU), Zakaria Chihani (LIST)","cross_cats":["cs.NE","cs.PF"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-17T12:40:51Z","title":"DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.07776","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:4b548a03c80e850afcf2f5978093d1ce903dc004b72a9739f49b5f0ae8c96d0f","target":"record","created_at":"2026-07-05T02:40: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":"5474b1fde0a1a3ab7b362f8c19cbfa4b57ccf0b694094fb8dc440dea00f6234a","cross_cats_sorted":["cs.NE","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-17T12:40:51Z","title_canon_sha256":"f71034054463c2a1c2f0ecb42b2b7edec3d6416baed0a987cda3ee8314b2d572"},"schema_version":"1.0","source":{"id":"2105.07776","kind":"arxiv","version":1}},"canonical_sha256":"c90334a4be0b15bcca0a3f83f720c18165ff6e3181e7c30cdcea24760e1cfe8b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c90334a4be0b15bcca0a3f83f720c18165ff6e3181e7c30cdcea24760e1cfe8b","first_computed_at":"2026-07-05T02:40:44.413378Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:40:44.413378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QMb+yU876OEuJnsRooEpHnx8kJqkyeyBq1AuI+rWHY9eGxkZ23L2EWZXXLs6Jr3ijWE8pIvFelMsj3lBILp6Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:40:44.413793Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.07776","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b548a03c80e850afcf2f5978093d1ce903dc004b72a9739f49b5f0ae8c96d0f","sha256:4c8a3463c9e5ccb16941face38e51c86dda449875c5fdb258dde0aa6c3773f36"],"state_sha256":"35051687899cc51138f3e28e8572769482637ea6ed493a5342463e506c0356a0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2G4sINQ/D7s/eNGYBHtyzj8hoCkXen0c1dqkjDDiLkEpo3drUp8NoNFx4VSz1GatQnlg7y7nXssQxanRkClPCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T19:50:26.726232Z","bundle_sha256":"1a5c87d6a729f8b7d2a96151d4d1306c3b3b547e0f9f6ea0b48c6f387979ad12"}}