{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WOZNTB2ERQGMWTQTTXBEZLHQBL","short_pith_number":"pith:WOZNTB2E","canonical_record":{"source":{"id":"1911.09032","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-20T17:03:21Z","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"title_canon_sha256":"92ddfd637046754b02a238214808931067fe0da1d023597e26206a3557a9f524","abstract_canon_sha256":"fff5e89da2a123df415eed9628fe70ed967d7362f7d725c6939c9c63a332370a"},"schema_version":"1.0"},"canonical_sha256":"b3b2d987448c0ccb4e139dc24cacf00aff1400e9e9dbd1566680b3a2ed31ed3a","source":{"kind":"arxiv","id":"1911.09032","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.09032","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"arxiv_version","alias_value":"1911.09032v3","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.09032","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"pith_short_12","alias_value":"WOZNTB2ERQGM","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"pith_short_16","alias_value":"WOZNTB2ERQGMWTQT","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"pith_short_8","alias_value":"WOZNTB2E","created_at":"2026-07-05T04:19:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WOZNTB2ERQGMWTQTTXBEZLHQBL","target":"record","payload":{"canonical_record":{"source":{"id":"1911.09032","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-20T17:03:21Z","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"title_canon_sha256":"92ddfd637046754b02a238214808931067fe0da1d023597e26206a3557a9f524","abstract_canon_sha256":"fff5e89da2a123df415eed9628fe70ed967d7362f7d725c6939c9c63a332370a"},"schema_version":"1.0"},"canonical_sha256":"b3b2d987448c0ccb4e139dc24cacf00aff1400e9e9dbd1566680b3a2ed31ed3a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:19:00.022088Z","signature_b64":"13XnYf6faQP2XQLqmYyidkWcYRCznpI8DE8vbcHlAtxsiFHoAqy3TRkaDOQ+uhb2ptFcA915annG/zMrfv81Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3b2d987448c0ccb4e139dc24cacf00aff1400e9e9dbd1566680b3a2ed31ed3a","last_reissued_at":"2026-07-05T04:19:00.021674Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:19:00.021674Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.09032","source_version":3,"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-05T04:19:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y/g5dnlJVNvIpB2cWBydf0tUqZm7BAwrQbRfylqAQJ94F2qhOojvpd1mhq1RjqbttVDDsU4z+rpxFXSzIN/aDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T07:40:10.840233Z"},"content_sha256":"27bd322820b1343cbe941b3f27463edd4b899a8c4da2706656d3b1874bf0e984","schema_version":"1.0","event_id":"sha256:27bd322820b1343cbe941b3f27463edd4b899a8c4da2706656d3b1874bf0e984"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WOZNTB2ERQGMWTQTTXBEZLHQBL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Outside the Box: Abstraction-Based Monitoring of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO","stat.ML"],"primary_cat":"cs.LG","authors_text":"Anna Lukina, Christian Schilling, Thomas A. Henzinger","submitted_at":"2019-11-20T17:03:21Z","abstract_excerpt":"Neural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the significant limitations of neural networks. The ability to identify previously unseen inputs as novel is crucial for our understanding of the decisions made by neural networks. At runtime, inputs not falling into any of the categories learned during training cannot be classified correctly by the neural network. Existing approaches treat the neural network as a black box and try to detect novel inputs based on the co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.09032","kind":"arxiv","version":3},"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.09032/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-05T04:19:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rGPB4kbhqJ7i2GwYjBMHMQW4++lN/JqxVZHeNiBAqhUFvwJldthk0sS2ENjt7QoEdSVVitKmkmz7fT3rxEbSDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T07:40:10.840785Z"},"content_sha256":"af7501974044e267b51670301055cad641f842e7b095febbc5cff2aa8aa493bb","schema_version":"1.0","event_id":"sha256:af7501974044e267b51670301055cad641f842e7b095febbc5cff2aa8aa493bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WOZNTB2ERQGMWTQTTXBEZLHQBL/bundle.json","state_url":"https://pith.science/pith/WOZNTB2ERQGMWTQTTXBEZLHQBL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WOZNTB2ERQGMWTQTTXBEZLHQBL/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-17T07:40:10Z","links":{"resolver":"https://pith.science/pith/WOZNTB2ERQGMWTQTTXBEZLHQBL","bundle":"https://pith.science/pith/WOZNTB2ERQGMWTQTTXBEZLHQBL/bundle.json","state":"https://pith.science/pith/WOZNTB2ERQGMWTQTTXBEZLHQBL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WOZNTB2ERQGMWTQTTXBEZLHQBL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WOZNTB2ERQGMWTQTTXBEZLHQBL","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":"fff5e89da2a123df415eed9628fe70ed967d7362f7d725c6939c9c63a332370a","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-20T17:03:21Z","title_canon_sha256":"92ddfd637046754b02a238214808931067fe0da1d023597e26206a3557a9f524"},"schema_version":"1.0","source":{"id":"1911.09032","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.09032","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"arxiv_version","alias_value":"1911.09032v3","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.09032","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"pith_short_12","alias_value":"WOZNTB2ERQGM","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"pith_short_16","alias_value":"WOZNTB2ERQGMWTQT","created_at":"2026-07-05T04:19:00Z"},{"alias_kind":"pith_short_8","alias_value":"WOZNTB2E","created_at":"2026-07-05T04:19:00Z"}],"graph_snapshots":[{"event_id":"sha256:af7501974044e267b51670301055cad641f842e7b095febbc5cff2aa8aa493bb","target":"graph","created_at":"2026-07-05T04:19:00Z","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.09032/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the significant limitations of neural networks. The ability to identify previously unseen inputs as novel is crucial for our understanding of the decisions made by neural networks. At runtime, inputs not falling into any of the categories learned during training cannot be classified correctly by the neural network. Existing approaches treat the neural network as a black box and try to detect novel inputs based on the co","authors_text":"Anna Lukina, Christian Schilling, Thomas A. Henzinger","cross_cats":["cs.AI","cs.LO","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-20T17:03:21Z","title":"Outside the Box: Abstraction-Based Monitoring of Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.09032","kind":"arxiv","version":3},"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:27bd322820b1343cbe941b3f27463edd4b899a8c4da2706656d3b1874bf0e984","target":"record","created_at":"2026-07-05T04:19:00Z","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":"fff5e89da2a123df415eed9628fe70ed967d7362f7d725c6939c9c63a332370a","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-11-20T17:03:21Z","title_canon_sha256":"92ddfd637046754b02a238214808931067fe0da1d023597e26206a3557a9f524"},"schema_version":"1.0","source":{"id":"1911.09032","kind":"arxiv","version":3}},"canonical_sha256":"b3b2d987448c0ccb4e139dc24cacf00aff1400e9e9dbd1566680b3a2ed31ed3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3b2d987448c0ccb4e139dc24cacf00aff1400e9e9dbd1566680b3a2ed31ed3a","first_computed_at":"2026-07-05T04:19:00.021674Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:19:00.021674Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"13XnYf6faQP2XQLqmYyidkWcYRCznpI8DE8vbcHlAtxsiFHoAqy3TRkaDOQ+uhb2ptFcA915annG/zMrfv81Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:19:00.022088Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.09032","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27bd322820b1343cbe941b3f27463edd4b899a8c4da2706656d3b1874bf0e984","sha256:af7501974044e267b51670301055cad641f842e7b095febbc5cff2aa8aa493bb"],"state_sha256":"eee899efb34fb63879fb9c6788e5654b5e2b0f41acc4b476db6beee8d0dea58a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"omx2NkFBIap4a5HQerLmTQS170KhVh08pP92nFnMhr789j2OaoxDW0OHSr6lhn76r9S8dm7ImOtH+bHU1I1ICg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T07:40:10.845873Z","bundle_sha256":"0df4adcab0cd57446642266819f1363cb815c8030c62b78b7e6198d8bfd59fd7"}}