{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ULX4JDCXNWPSFJ3A62YQFPBDWP","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":"813e6d071c561b8d85c3fd573d599ae5486a65eedf4ba51a2d5067f537cec4af","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2024-07-01T13:47:54Z","title_canon_sha256":"41489439dcc434f77ff9aa794275a081c49399ef1d1060123fac820477d45474"},"schema_version":"1.0","source":{"id":"2407.01295","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.01295","created_at":"2026-07-05T09:36:46Z"},{"alias_kind":"arxiv_version","alias_value":"2407.01295v5","created_at":"2026-07-05T09:36:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.01295","created_at":"2026-07-05T09:36:46Z"},{"alias_kind":"pith_short_12","alias_value":"ULX4JDCXNWPS","created_at":"2026-07-05T09:36:46Z"},{"alias_kind":"pith_short_16","alias_value":"ULX4JDCXNWPSFJ3A","created_at":"2026-07-05T09:36:46Z"},{"alias_kind":"pith_short_8","alias_value":"ULX4JDCX","created_at":"2026-07-05T09:36:46Z"}],"graph_snapshots":[{"event_id":"sha256:8218af9e8cdceaf70e7abef9489d7babf902818e69941e01a4417002ae6bc632","target":"graph","created_at":"2026-07-05T09:36:46Z","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/2407.01295/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep neural networks (DNNs) are widely used in real-world applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a systematic approach to identify and mitigate these vulnerabilities, enhancing model robustness and reliability. While most existing verification methods focus on image classification models, this work extends formal verification to the more complex domain of emph{object detection} models. We propose a formulation for verifying the robustness of such models and demonstrate how state-of-the-art verification tools, originally developed ","authors_text":"Avraham Raviv, Guy Katz, Hillel Kugler, Omer Cohen, Roy Assa, Yael Leibovich Weiss, Yizhak Y. Elboher","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2024-07-01T13:47:54Z","title":"Formal Verification of Deep Neural Networks for Object Detection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.01295","kind":"arxiv","version":5},"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:e78d2a816cb1e4141a4066488a1a949b67f74e97cdd47b4aa2437a857adca83f","target":"record","created_at":"2026-07-05T09:36:46Z","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":"813e6d071c561b8d85c3fd573d599ae5486a65eedf4ba51a2d5067f537cec4af","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2024-07-01T13:47:54Z","title_canon_sha256":"41489439dcc434f77ff9aa794275a081c49399ef1d1060123fac820477d45474"},"schema_version":"1.0","source":{"id":"2407.01295","kind":"arxiv","version":5}},"canonical_sha256":"a2efc48c576d9f22a760f6b102bc23b3cb7a588f3255f8629e053de47b676fb2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2efc48c576d9f22a760f6b102bc23b3cb7a588f3255f8629e053de47b676fb2","first_computed_at":"2026-07-05T09:36:46.268999Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:36:46.268999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2dEk1TocZxOl7YfkocFrP19/iVK6bMjLqPnO9NnNUBSHQHoRo1bLHMLq0VGzy12shVghAQzNpaALWFD6SDKjAg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:36:46.269517Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.01295","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e78d2a816cb1e4141a4066488a1a949b67f74e97cdd47b4aa2437a857adca83f","sha256:8218af9e8cdceaf70e7abef9489d7babf902818e69941e01a4417002ae6bc632"],"state_sha256":"bb8e307b805ca26356575f96a280de87ccf7dc14e030d31582b8bdd80990afa5"}