{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:VQ2RFBJ3QZQQODKVRFAFXENOUM","short_pith_number":"pith:VQ2RFBJ3","canonical_record":{"source":{"id":"2104.12418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-04-26T09:16:27Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"06e515756162e390d2ffab9e0d81e9569975527585527a5b152607c52655e35a","abstract_canon_sha256":"2d41360fb13ef65b2b7084169b6339ea38652e5f78f76499a9a61f95b0d8d27c"},"schema_version":"1.0"},"canonical_sha256":"ac3512853b8661070d5589405b91aea30a670d6634cda61a4a06e7744c87ec06","source":{"kind":"arxiv","id":"2104.12418","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.12418","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"arxiv_version","alias_value":"2104.12418v1","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.12418","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"pith_short_12","alias_value":"VQ2RFBJ3QZQQ","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"pith_short_16","alias_value":"VQ2RFBJ3QZQQODKV","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"pith_short_8","alias_value":"VQ2RFBJ3","created_at":"2026-07-05T02:34:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:VQ2RFBJ3QZQQODKVRFAFXENOUM","target":"record","payload":{"canonical_record":{"source":{"id":"2104.12418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-04-26T09:16:27Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"06e515756162e390d2ffab9e0d81e9569975527585527a5b152607c52655e35a","abstract_canon_sha256":"2d41360fb13ef65b2b7084169b6339ea38652e5f78f76499a9a61f95b0d8d27c"},"schema_version":"1.0"},"canonical_sha256":"ac3512853b8661070d5589405b91aea30a670d6634cda61a4a06e7744c87ec06","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:34:56.617631Z","signature_b64":"KtmVWE7+ZgMp6o0Ej40+ppWE7Z2Zx2KGlpYGu6/9F7hE6x4XEFho802w6TBQr+wUHH0UAQOTTSnxDj2jiGd6Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac3512853b8661070d5589405b91aea30a670d6634cda61a4a06e7744c87ec06","last_reissued_at":"2026-07-05T02:34:56.617205Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:34:56.617205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.12418","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:34:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iPdjTRB9wSZINK6NpHMN6u2MP6PXSxDHkW1GHZfD829UqBP25sy/uQjf5NfMVVk0D77+7rpidhoqcNyGVASNAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T16:52:47.927764Z"},"content_sha256":"ba645b11e46dd2c7c7aeab28ffd68f04806e980fbf6d86a66967c3d959c24b64","schema_version":"1.0","event_id":"sha256:ba645b11e46dd2c7c7aeab28ffd68f04806e980fbf6d86a66967c3d959c24b64"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:VQ2RFBJ3QZQQODKVRFAFXENOUM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast Falsification of Neural Networks using Property Directed Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Ansuman Banerjee, Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik","submitted_at":"2021-04-26T09:16:27Z","abstract_excerpt":"Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verification techniques for such networks. As an alternative to exhaustive and costly verification algorithms, lightweight falsification algorithms have been heavily used to search for an input to the system that produces an unsafe output, i.e., a counterexample to the safety of the system. In this work, we propose a falsification algorithm for neural networks that directs the search for a counterexample, guided by a safety "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.12418","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/2104.12418/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:34:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gQOHyhkIBCiYsFBglwAQ0mOX5INPhcLVjWNGxau+J2SqASVaUlHXjt0zvBxeYqymlptuJ9W3Hy1lkduWQrM3CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T16:52:47.928257Z"},"content_sha256":"33b7770287644f6aaefc5162ef67898e0bc5ad8fb93e5e7f618490a22e90a2d2","schema_version":"1.0","event_id":"sha256:33b7770287644f6aaefc5162ef67898e0bc5ad8fb93e5e7f618490a22e90a2d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VQ2RFBJ3QZQQODKVRFAFXENOUM/bundle.json","state_url":"https://pith.science/pith/VQ2RFBJ3QZQQODKVRFAFXENOUM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VQ2RFBJ3QZQQODKVRFAFXENOUM/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-07T16:52:47Z","links":{"resolver":"https://pith.science/pith/VQ2RFBJ3QZQQODKVRFAFXENOUM","bundle":"https://pith.science/pith/VQ2RFBJ3QZQQODKVRFAFXENOUM/bundle.json","state":"https://pith.science/pith/VQ2RFBJ3QZQQODKVRFAFXENOUM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VQ2RFBJ3QZQQODKVRFAFXENOUM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:VQ2RFBJ3QZQQODKVRFAFXENOUM","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":"2d41360fb13ef65b2b7084169b6339ea38652e5f78f76499a9a61f95b0d8d27c","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-04-26T09:16:27Z","title_canon_sha256":"06e515756162e390d2ffab9e0d81e9569975527585527a5b152607c52655e35a"},"schema_version":"1.0","source":{"id":"2104.12418","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.12418","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"arxiv_version","alias_value":"2104.12418v1","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.12418","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"pith_short_12","alias_value":"VQ2RFBJ3QZQQ","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"pith_short_16","alias_value":"VQ2RFBJ3QZQQODKV","created_at":"2026-07-05T02:34:56Z"},{"alias_kind":"pith_short_8","alias_value":"VQ2RFBJ3","created_at":"2026-07-05T02:34:56Z"}],"graph_snapshots":[{"event_id":"sha256:33b7770287644f6aaefc5162ef67898e0bc5ad8fb93e5e7f618490a22e90a2d2","target":"graph","created_at":"2026-07-05T02:34:56Z","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/2104.12418/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verification techniques for such networks. As an alternative to exhaustive and costly verification algorithms, lightweight falsification algorithms have been heavily used to search for an input to the system that produces an unsafe output, i.e., a counterexample to the safety of the system. In this work, we propose a falsification algorithm for neural networks that directs the search for a counterexample, guided by a safety ","authors_text":"Ansuman Banerjee, Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-04-26T09:16:27Z","title":"Fast Falsification of Neural Networks using Property Directed Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.12418","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:ba645b11e46dd2c7c7aeab28ffd68f04806e980fbf6d86a66967c3d959c24b64","target":"record","created_at":"2026-07-05T02:34:56Z","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":"2d41360fb13ef65b2b7084169b6339ea38652e5f78f76499a9a61f95b0d8d27c","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-04-26T09:16:27Z","title_canon_sha256":"06e515756162e390d2ffab9e0d81e9569975527585527a5b152607c52655e35a"},"schema_version":"1.0","source":{"id":"2104.12418","kind":"arxiv","version":1}},"canonical_sha256":"ac3512853b8661070d5589405b91aea30a670d6634cda61a4a06e7744c87ec06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac3512853b8661070d5589405b91aea30a670d6634cda61a4a06e7744c87ec06","first_computed_at":"2026-07-05T02:34:56.617205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:34:56.617205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KtmVWE7+ZgMp6o0Ej40+ppWE7Z2Zx2KGlpYGu6/9F7hE6x4XEFho802w6TBQr+wUHH0UAQOTTSnxDj2jiGd6Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:34:56.617631Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.12418","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba645b11e46dd2c7c7aeab28ffd68f04806e980fbf6d86a66967c3d959c24b64","sha256:33b7770287644f6aaefc5162ef67898e0bc5ad8fb93e5e7f618490a22e90a2d2"],"state_sha256":"e2503b52ebdea7219354871b19d150e427f2915d9e850a266af94aac860e88d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p05B+KfbO36GxJ8i3sdb+fG5J4qeV8WGj4HaqtJwiqYDiU+mTO/Z9psB3hlLnzeYxum/KaZXnT/o9zBCvgGoCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T16:52:47.932337Z","bundle_sha256":"bdbf13b768b3194e0ad28d56c5e9671aed386cc26ca4c99cd568a593663d55df"}}