{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:BQEQ65KGJWFBJXDX66GXZ4UO6S","short_pith_number":"pith:BQEQ65KG","canonical_record":{"source":{"id":"1911.10735","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-25T07:28:45Z","cross_cats_sorted":["cs.AI","cs.NE","cs.PF"],"title_canon_sha256":"1a919bc72af7ad3ee87cb3698490b96b595ac5d89d9b9d15702d8a48eebcb701","abstract_canon_sha256":"4e08e486da0233b5719a9c0f12ddc829a8996fb6e723d0a193179853b8e424cc"},"schema_version":"1.0"},"canonical_sha256":"0c090f75464d8a14dc77f78d7cf28ef48ecf8fc7119f3c70d543c4738a90114d","source":{"kind":"arxiv","id":"1911.10735","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.10735","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"arxiv_version","alias_value":"1911.10735v1","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.10735","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"pith_short_12","alias_value":"BQEQ65KGJWFB","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"pith_short_16","alias_value":"BQEQ65KGJWFBJXDX","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"pith_short_8","alias_value":"BQEQ65KG","created_at":"2026-07-05T00:21:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:BQEQ65KGJWFBJXDX66GXZ4UO6S","target":"record","payload":{"canonical_record":{"source":{"id":"1911.10735","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-25T07:28:45Z","cross_cats_sorted":["cs.AI","cs.NE","cs.PF"],"title_canon_sha256":"1a919bc72af7ad3ee87cb3698490b96b595ac5d89d9b9d15702d8a48eebcb701","abstract_canon_sha256":"4e08e486da0233b5719a9c0f12ddc829a8996fb6e723d0a193179853b8e424cc"},"schema_version":"1.0"},"canonical_sha256":"0c090f75464d8a14dc77f78d7cf28ef48ecf8fc7119f3c70d543c4738a90114d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:21:42.411255Z","signature_b64":"C7XYNR01AuZ+G7bsAkZSkqK3rk34J7/EwjzJBkFWbbb9z9apkL9RDlKv5D8Niwcqr1ha6SaZnqt2DmJ7e840DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c090f75464d8a14dc77f78d7cf28ef48ecf8fc7119f3c70d543c4738a90114d","last_reissued_at":"2026-07-05T00:21:42.410818Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:21:42.410818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.10735","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-05T00:21:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iF99Pz/HeD6jc3x9CoBu3VERS/plb6d5Ne1m2ow1+FZ4a0+V9xn1Yxc7ucgqQ338/yO9kP6wTbtNsARm36yVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T04:40:06.623670Z"},"content_sha256":"6c3ea8a3e98ed5c4a1e22ae4aa2f85ddda910ed6b50fea5443b42fc08fa3a3e8","schema_version":"1.0","event_id":"sha256:6c3ea8a3e98ed5c4a1e22ae4aa2f85ddda910ed6b50fea5443b42fc08fa3a3e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:BQEQ65KGJWFBJXDX66GXZ4UO6S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.NE","cs.PF"],"primary_cat":"cs.LG","authors_text":"Guillaume Charpiat (LRI, Julien Girard-Satabin (TAU, LIST), Marc Schoenauer (TAU), TAU), Zakaria Chihani (LIST)","submitted_at":"2019-11-25T07:28:45Z","abstract_excerpt":"The topic of provable deep neural network robustness has raised considerable interest in recent years. Most research has focused on adversarial robustness, which studies the robustness of perceptive models in the neighbourhood of particular samples. However, other works have proved global properties of smaller neural networks. Yet, formally verifying perception remains uncharted. This is due notably to the lack of relevant properties to verify, as the distribution of possible inputs cannot be formally specified. We propose to take advantage of the simulators often used either to train machine "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.10735","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/1911.10735/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-05T00:21:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iK37kBN2NX0fV62J1ExguaPx+xr3YGmLQnD3Gbrqxl7hvbvFrbP5GgP5PaEYSlfAwRltg3TeXhu5cdqImPNhCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T04:40:06.624180Z"},"content_sha256":"a378a62016c6ec37d4d3676a7c20840efb8e64dbdb318bf7d79640b0b31d6253","schema_version":"1.0","event_id":"sha256:a378a62016c6ec37d4d3676a7c20840efb8e64dbdb318bf7d79640b0b31d6253"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BQEQ65KGJWFBJXDX66GXZ4UO6S/bundle.json","state_url":"https://pith.science/pith/BQEQ65KGJWFBJXDX66GXZ4UO6S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BQEQ65KGJWFBJXDX66GXZ4UO6S/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-21T04:40:06Z","links":{"resolver":"https://pith.science/pith/BQEQ65KGJWFBJXDX66GXZ4UO6S","bundle":"https://pith.science/pith/BQEQ65KGJWFBJXDX66GXZ4UO6S/bundle.json","state":"https://pith.science/pith/BQEQ65KGJWFBJXDX66GXZ4UO6S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BQEQ65KGJWFBJXDX66GXZ4UO6S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:BQEQ65KGJWFBJXDX66GXZ4UO6S","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":"4e08e486da0233b5719a9c0f12ddc829a8996fb6e723d0a193179853b8e424cc","cross_cats_sorted":["cs.AI","cs.NE","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-25T07:28:45Z","title_canon_sha256":"1a919bc72af7ad3ee87cb3698490b96b595ac5d89d9b9d15702d8a48eebcb701"},"schema_version":"1.0","source":{"id":"1911.10735","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.10735","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"arxiv_version","alias_value":"1911.10735v1","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.10735","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"pith_short_12","alias_value":"BQEQ65KGJWFB","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"pith_short_16","alias_value":"BQEQ65KGJWFBJXDX","created_at":"2026-07-05T00:21:42Z"},{"alias_kind":"pith_short_8","alias_value":"BQEQ65KG","created_at":"2026-07-05T00:21:42Z"}],"graph_snapshots":[{"event_id":"sha256:a378a62016c6ec37d4d3676a7c20840efb8e64dbdb318bf7d79640b0b31d6253","target":"graph","created_at":"2026-07-05T00:21:42Z","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/1911.10735/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The topic of provable deep neural network robustness has raised considerable interest in recent years. Most research has focused on adversarial robustness, which studies the robustness of perceptive models in the neighbourhood of particular samples. However, other works have proved global properties of smaller neural networks. Yet, formally verifying perception remains uncharted. This is due notably to the lack of relevant properties to verify, as the distribution of possible inputs cannot be formally specified. We propose to take advantage of the simulators often used either to train machine ","authors_text":"Guillaume Charpiat (LRI, Julien Girard-Satabin (TAU, LIST), Marc Schoenauer (TAU), TAU), Zakaria Chihani (LIST)","cross_cats":["cs.AI","cs.NE","cs.PF"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-25T07:28:45Z","title":"CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.10735","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:6c3ea8a3e98ed5c4a1e22ae4aa2f85ddda910ed6b50fea5443b42fc08fa3a3e8","target":"record","created_at":"2026-07-05T00:21:42Z","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":"4e08e486da0233b5719a9c0f12ddc829a8996fb6e723d0a193179853b8e424cc","cross_cats_sorted":["cs.AI","cs.NE","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-25T07:28:45Z","title_canon_sha256":"1a919bc72af7ad3ee87cb3698490b96b595ac5d89d9b9d15702d8a48eebcb701"},"schema_version":"1.0","source":{"id":"1911.10735","kind":"arxiv","version":1}},"canonical_sha256":"0c090f75464d8a14dc77f78d7cf28ef48ecf8fc7119f3c70d543c4738a90114d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0c090f75464d8a14dc77f78d7cf28ef48ecf8fc7119f3c70d543c4738a90114d","first_computed_at":"2026-07-05T00:21:42.410818Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:21:42.410818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C7XYNR01AuZ+G7bsAkZSkqK3rk34J7/EwjzJBkFWbbb9z9apkL9RDlKv5D8Niwcqr1ha6SaZnqt2DmJ7e840DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:21:42.411255Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.10735","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c3ea8a3e98ed5c4a1e22ae4aa2f85ddda910ed6b50fea5443b42fc08fa3a3e8","sha256:a378a62016c6ec37d4d3676a7c20840efb8e64dbdb318bf7d79640b0b31d6253"],"state_sha256":"8182d7782ade73296dc886565b7ef332d908869c9e4dbad1a94ee94aee28a098"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BLVV1vklfecfdWSNfhoBR656h7DjwdevnUae9iH9/LltC0/QeK70ylurPr8uSPSZtgw9H5lN9RA03jC1QB3TBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T04:40:06.627930Z","bundle_sha256":"8bd32ef694c45ca2995c0118d513c3d9251584dbb6f8f7f96457aff62effacc6"}}