{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:4VU64XUK7ECQ45KGDBKCWBWZDJ","short_pith_number":"pith:4VU64XUK","canonical_record":{"source":{"id":"2010.07722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-10-15T13:03:15Z","cross_cats_sorted":[],"title_canon_sha256":"d7b50349ac887192e264bbbdd4b835af433d1a2f8a66ef129f2e285aa5f5db62","abstract_canon_sha256":"9802450eb49201620d5d26bde67f85f1afb6a0d2c310292f3668ef1b5292d8d5"},"schema_version":"1.0"},"canonical_sha256":"e569ee5e8af9050e754618542b06d91a71355ecafa084b910d2dacbc740a1687","source":{"kind":"arxiv","id":"2010.07722","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2010.07722","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"arxiv_version","alias_value":"2010.07722v1","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2010.07722","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"pith_short_12","alias_value":"4VU64XUK7ECQ","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"pith_short_16","alias_value":"4VU64XUK7ECQ45KG","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"pith_short_8","alias_value":"4VU64XUK","created_at":"2026-07-05T01:43:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:4VU64XUK7ECQ45KGDBKCWBWZDJ","target":"record","payload":{"canonical_record":{"source":{"id":"2010.07722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-10-15T13:03:15Z","cross_cats_sorted":[],"title_canon_sha256":"d7b50349ac887192e264bbbdd4b835af433d1a2f8a66ef129f2e285aa5f5db62","abstract_canon_sha256":"9802450eb49201620d5d26bde67f85f1afb6a0d2c310292f3668ef1b5292d8d5"},"schema_version":"1.0"},"canonical_sha256":"e569ee5e8af9050e754618542b06d91a71355ecafa084b910d2dacbc740a1687","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:43:19.967256Z","signature_b64":"ADE+pRdkrNMic7Ulv5RkA91wNKAZf1KwTO8m0Iyqrye39/ZNB9DkZIchnKoQYgv53AQPwxT/humRCwwn4ogsAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e569ee5e8af9050e754618542b06d91a71355ecafa084b910d2dacbc740a1687","last_reissued_at":"2026-07-05T01:43:19.966844Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:43:19.966844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2010.07722","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-05T01:43:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FymGzW59UjTSVx5Jr7gumgFqm85feo0EoOXm41JSD9Yo3Pgn9ksj4NT2qsxcdMf6L/6z8vyzb3rhC0VqwcrUAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T01:22:47.519378Z"},"content_sha256":"ab81b6a4acb7afeb705786c5819f96b25e47f775a61bbfad8f38d3b40a48e45b","schema_version":"1.0","event_id":"sha256:ab81b6a4acb7afeb705786c5819f96b25e47f775a61bbfad8f38d3b40a48e45b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:4VU64XUK7ECQ45KGDBKCWBWZDJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Neural Network Verification through Spurious Region Guided Refinement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bai Xue, Cheng-Chao Huang, Jianlin Li, Jingyi Wang, Jun Sun, Lijun Zhang, Pengfei Yang, Renjue Li","submitted_at":"2020-10-15T13:03:15Z","abstract_excerpt":"We propose a spurious region guided refinement approach for robustness verification of deep neural networks. Our method starts with applying the DeepPoly abstract domain to analyze the network. If the robustness property cannot be verified, the result is inconclusive. Due to the over-approximation, the computed region in the abstraction may be spurious in the sense that it does not contain any true counterexample. Our goal is to identify such spurious regions and use them to guide the abstraction refinement. The core idea is to make use of the obtained constraints of the abstraction to infer n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2010.07722","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/2010.07722/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-05T01:43:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BdGOwDrAs293RKJri8xkHrd0uK63bYtfrVRYWxRwDgWso08ByAsZFLJTpqyUafZ64E6wMyQtRzGCKXjNwtcfAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T01:22:47.519872Z"},"content_sha256":"79e99fdac2a92197ce051bb350e56cc10ebc2ac49a78deee72fb6c1b6abe1985","schema_version":"1.0","event_id":"sha256:79e99fdac2a92197ce051bb350e56cc10ebc2ac49a78deee72fb6c1b6abe1985"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4VU64XUK7ECQ45KGDBKCWBWZDJ/bundle.json","state_url":"https://pith.science/pith/4VU64XUK7ECQ45KGDBKCWBWZDJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4VU64XUK7ECQ45KGDBKCWBWZDJ/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-04T01:22:47Z","links":{"resolver":"https://pith.science/pith/4VU64XUK7ECQ45KGDBKCWBWZDJ","bundle":"https://pith.science/pith/4VU64XUK7ECQ45KGDBKCWBWZDJ/bundle.json","state":"https://pith.science/pith/4VU64XUK7ECQ45KGDBKCWBWZDJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4VU64XUK7ECQ45KGDBKCWBWZDJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:4VU64XUK7ECQ45KGDBKCWBWZDJ","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":"9802450eb49201620d5d26bde67f85f1afb6a0d2c310292f3668ef1b5292d8d5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-10-15T13:03:15Z","title_canon_sha256":"d7b50349ac887192e264bbbdd4b835af433d1a2f8a66ef129f2e285aa5f5db62"},"schema_version":"1.0","source":{"id":"2010.07722","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2010.07722","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"arxiv_version","alias_value":"2010.07722v1","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2010.07722","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"pith_short_12","alias_value":"4VU64XUK7ECQ","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"pith_short_16","alias_value":"4VU64XUK7ECQ45KG","created_at":"2026-07-05T01:43:19Z"},{"alias_kind":"pith_short_8","alias_value":"4VU64XUK","created_at":"2026-07-05T01:43:19Z"}],"graph_snapshots":[{"event_id":"sha256:79e99fdac2a92197ce051bb350e56cc10ebc2ac49a78deee72fb6c1b6abe1985","target":"graph","created_at":"2026-07-05T01:43:19Z","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/2010.07722/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a spurious region guided refinement approach for robustness verification of deep neural networks. Our method starts with applying the DeepPoly abstract domain to analyze the network. If the robustness property cannot be verified, the result is inconclusive. Due to the over-approximation, the computed region in the abstraction may be spurious in the sense that it does not contain any true counterexample. Our goal is to identify such spurious regions and use them to guide the abstraction refinement. The core idea is to make use of the obtained constraints of the abstraction to infer n","authors_text":"Bai Xue, Cheng-Chao Huang, Jianlin Li, Jingyi Wang, Jun Sun, Lijun Zhang, Pengfei Yang, Renjue Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-10-15T13:03:15Z","title":"Improving Neural Network Verification through Spurious Region Guided Refinement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2010.07722","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:ab81b6a4acb7afeb705786c5819f96b25e47f775a61bbfad8f38d3b40a48e45b","target":"record","created_at":"2026-07-05T01:43:19Z","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":"9802450eb49201620d5d26bde67f85f1afb6a0d2c310292f3668ef1b5292d8d5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-10-15T13:03:15Z","title_canon_sha256":"d7b50349ac887192e264bbbdd4b835af433d1a2f8a66ef129f2e285aa5f5db62"},"schema_version":"1.0","source":{"id":"2010.07722","kind":"arxiv","version":1}},"canonical_sha256":"e569ee5e8af9050e754618542b06d91a71355ecafa084b910d2dacbc740a1687","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e569ee5e8af9050e754618542b06d91a71355ecafa084b910d2dacbc740a1687","first_computed_at":"2026-07-05T01:43:19.966844Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:43:19.966844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ADE+pRdkrNMic7Ulv5RkA91wNKAZf1KwTO8m0Iyqrye39/ZNB9DkZIchnKoQYgv53AQPwxT/humRCwwn4ogsAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:43:19.967256Z","signed_message":"canonical_sha256_bytes"},"source_id":"2010.07722","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab81b6a4acb7afeb705786c5819f96b25e47f775a61bbfad8f38d3b40a48e45b","sha256:79e99fdac2a92197ce051bb350e56cc10ebc2ac49a78deee72fb6c1b6abe1985"],"state_sha256":"c3d1b20946f9a1c63fc5b7a51eb5365acdef6295eab48f76f6dd028dd0a0e637"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YmFUA3mD+wL0GVQl60zZ0Fa/Wr7Q68FRZmdsUJ7V5TpFegPVZR8w6QSWpJGcd0wCQwZdoNdV6PDEEsNdiznqDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T01:22:47.524743Z","bundle_sha256":"4fa915c7eb31fb3aa3083943c3266e05e81d3fb7bcc7822453240508a90d9c38"}}