{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BPPDF75LOHW67FGIARNXJH53V2","short_pith_number":"pith:BPPDF75L","canonical_record":{"source":{"id":"1812.05339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T09:49:58Z","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"title_canon_sha256":"61449e0f5f81fd83c79b3390922b6cf2b9121cd23db7d6e9470b8b88588e565d","abstract_canon_sha256":"a0f720450d5c7cd1836793dfcec69e2f11e5d1bc45f2c28ee6b1610017a07af0"},"schema_version":"1.0"},"canonical_sha256":"0bde32ffab71edef94c8045b749fbbae9b732bdc94e5c911c1e164b4c7cb01aa","source":{"kind":"arxiv","id":"1812.05339","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.05339","created_at":"2026-05-17T23:58:23Z"},{"alias_kind":"arxiv_version","alias_value":"1812.05339v1","created_at":"2026-05-17T23:58:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.05339","created_at":"2026-05-17T23:58:23Z"},{"alias_kind":"pith_short_12","alias_value":"BPPDF75LOHW6","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BPPDF75LOHW67FGI","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BPPDF75L","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BPPDF75LOHW67FGIARNXJH53V2","target":"record","payload":{"canonical_record":{"source":{"id":"1812.05339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T09:49:58Z","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"title_canon_sha256":"61449e0f5f81fd83c79b3390922b6cf2b9121cd23db7d6e9470b8b88588e565d","abstract_canon_sha256":"a0f720450d5c7cd1836793dfcec69e2f11e5d1bc45f2c28ee6b1610017a07af0"},"schema_version":"1.0"},"canonical_sha256":"0bde32ffab71edef94c8045b749fbbae9b732bdc94e5c911c1e164b4c7cb01aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:23.693898Z","signature_b64":"+MTS2QSDXVAQ5lZKwTtY8VgdS91rTCJOa+lb7kFMUCUKFnh9Ds7Q8Hm17lJblZVaAgz0p6lVbBVQd0GFymhLCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0bde32ffab71edef94c8045b749fbbae9b732bdc94e5c911c1e164b4c7cb01aa","last_reissued_at":"2026-05-17T23:58:23.693220Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:23.693220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.05339","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-05-17T23:58:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wBofnZuZ0NCFo9qnJSiQC4UV3s39BGpTWY7us0xylTN8hfVEMPAdk9GEqXQXdO5jrvF8EUr2bdN176gHab8QCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T14:09:45.601189Z"},"content_sha256":"175d8ef42d2bc6c11ae7ac7086696e88004371b5ae3655d8ff40abccf9f7cc6e","schema_version":"1.0","event_id":"sha256:175d8ef42d2bc6c11ae7ac7086696e88004371b5ae3655d8ff40abccf9f7cc6e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BPPDF75LOHW67FGIARNXJH53V2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CR","cs.LG"],"primary_cat":"cs.SE","authors_text":"Jianjun Zhao, Lei Ma, Xiaofei Xie, Xiaoning Du, Yang Liu, Yi Li","submitted_at":"2018-12-13T09:49:58Z","abstract_excerpt":"Deep learning (DL) defines a data-driven programming paradigm that automatically composes the system decision logic from the training data. In company with the data explosion and hardware acceleration during the past decade, DL achieves tremendous success in many cutting-edge applications. However, even the state-of-the-art DL systems still suffer from quality and reliability issues. It was only until recently that some preliminary progress was made in testing feed-forward DL systems. In contrast to feed-forward DL systems, recurrent neural networks (RNN) follow a very different architectural "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.05339","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":""},"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-05-17T23:58:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TMvKNo6Ib09kJsmVOPci89NjYxcrJVPm9IRUhYaUmferBE/X7P06V8j+Un1tSvNzno58hQjLTLOpfeEPrccwAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T14:09:45.601825Z"},"content_sha256":"d82e60050c60b8d8cf3e351cc36d457e7523d0ca315c02507265a6cd527a87ab","schema_version":"1.0","event_id":"sha256:d82e60050c60b8d8cf3e351cc36d457e7523d0ca315c02507265a6cd527a87ab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BPPDF75LOHW67FGIARNXJH53V2/bundle.json","state_url":"https://pith.science/pith/BPPDF75LOHW67FGIARNXJH53V2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BPPDF75LOHW67FGIARNXJH53V2/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-05-26T14:09:45Z","links":{"resolver":"https://pith.science/pith/BPPDF75LOHW67FGIARNXJH53V2","bundle":"https://pith.science/pith/BPPDF75LOHW67FGIARNXJH53V2/bundle.json","state":"https://pith.science/pith/BPPDF75LOHW67FGIARNXJH53V2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BPPDF75LOHW67FGIARNXJH53V2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BPPDF75LOHW67FGIARNXJH53V2","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":"a0f720450d5c7cd1836793dfcec69e2f11e5d1bc45f2c28ee6b1610017a07af0","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T09:49:58Z","title_canon_sha256":"61449e0f5f81fd83c79b3390922b6cf2b9121cd23db7d6e9470b8b88588e565d"},"schema_version":"1.0","source":{"id":"1812.05339","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.05339","created_at":"2026-05-17T23:58:23Z"},{"alias_kind":"arxiv_version","alias_value":"1812.05339v1","created_at":"2026-05-17T23:58:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.05339","created_at":"2026-05-17T23:58:23Z"},{"alias_kind":"pith_short_12","alias_value":"BPPDF75LOHW6","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BPPDF75LOHW67FGI","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BPPDF75L","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:d82e60050c60b8d8cf3e351cc36d457e7523d0ca315c02507265a6cd527a87ab","target":"graph","created_at":"2026-05-17T23:58:23Z","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"},"paper":{"abstract_excerpt":"Deep learning (DL) defines a data-driven programming paradigm that automatically composes the system decision logic from the training data. In company with the data explosion and hardware acceleration during the past decade, DL achieves tremendous success in many cutting-edge applications. However, even the state-of-the-art DL systems still suffer from quality and reliability issues. It was only until recently that some preliminary progress was made in testing feed-forward DL systems. In contrast to feed-forward DL systems, recurrent neural networks (RNN) follow a very different architectural ","authors_text":"Jianjun Zhao, Lei Ma, Xiaofei Xie, Xiaoning Du, Yang Liu, Yi Li","cross_cats":["cs.AI","cs.CR","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T09:49:58Z","title":"DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.05339","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:175d8ef42d2bc6c11ae7ac7086696e88004371b5ae3655d8ff40abccf9f7cc6e","target":"record","created_at":"2026-05-17T23:58:23Z","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":"a0f720450d5c7cd1836793dfcec69e2f11e5d1bc45f2c28ee6b1610017a07af0","cross_cats_sorted":["cs.AI","cs.CR","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T09:49:58Z","title_canon_sha256":"61449e0f5f81fd83c79b3390922b6cf2b9121cd23db7d6e9470b8b88588e565d"},"schema_version":"1.0","source":{"id":"1812.05339","kind":"arxiv","version":1}},"canonical_sha256":"0bde32ffab71edef94c8045b749fbbae9b732bdc94e5c911c1e164b4c7cb01aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0bde32ffab71edef94c8045b749fbbae9b732bdc94e5c911c1e164b4c7cb01aa","first_computed_at":"2026-05-17T23:58:23.693220Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:23.693220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+MTS2QSDXVAQ5lZKwTtY8VgdS91rTCJOa+lb7kFMUCUKFnh9Ds7Q8Hm17lJblZVaAgz0p6lVbBVQd0GFymhLCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:23.693898Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.05339","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:175d8ef42d2bc6c11ae7ac7086696e88004371b5ae3655d8ff40abccf9f7cc6e","sha256:d82e60050c60b8d8cf3e351cc36d457e7523d0ca315c02507265a6cd527a87ab"],"state_sha256":"cc1b1d5fbe37734157ce947c3f9381d17b8a7f1b8bbf50bb79f18af4bb0acf98"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K7Oc/mEoJmwqw1AnFa+bg18YdC7zNdsiX3M4xhEMhsGgnneLYsBhcOJqXZJRak24SwaxHc/JbhHOEP6h9kxfAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T14:09:45.605010Z","bundle_sha256":"3fe1d3f321e7121a233df1e57da6a3ee3d8b197628e1728685a3785e3c32a7cf"}}