{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3WIMBVC3LXUODFQOALBSTLCMSH","short_pith_number":"pith:3WIMBVC3","canonical_record":{"source":{"id":"1807.00575","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-02T10:08:45Z","cross_cats_sorted":[],"title_canon_sha256":"c2581663752fa932344c3b541929986b278dcce34b9e402357fb1d8f1d22a0ed","abstract_canon_sha256":"eb8755b53d0d14bf075b407b7afc83980b7026bcd56a7d2ac3e13dc681ddcf66"},"schema_version":"1.0"},"canonical_sha256":"dd90c0d45b5de8e1960e02c329ac4c91e7f3350a9e350cddaeb6815b45c7b3cf","source":{"kind":"arxiv","id":"1807.00575","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.00575","created_at":"2026-05-18T00:11:52Z"},{"alias_kind":"arxiv_version","alias_value":"1807.00575v1","created_at":"2026-05-18T00:11:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.00575","created_at":"2026-05-18T00:11:52Z"},{"alias_kind":"pith_short_12","alias_value":"3WIMBVC3LXUO","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"3WIMBVC3LXUODFQO","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"3WIMBVC3","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3WIMBVC3LXUODFQOALBSTLCMSH","target":"record","payload":{"canonical_record":{"source":{"id":"1807.00575","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-02T10:08:45Z","cross_cats_sorted":[],"title_canon_sha256":"c2581663752fa932344c3b541929986b278dcce34b9e402357fb1d8f1d22a0ed","abstract_canon_sha256":"eb8755b53d0d14bf075b407b7afc83980b7026bcd56a7d2ac3e13dc681ddcf66"},"schema_version":"1.0"},"canonical_sha256":"dd90c0d45b5de8e1960e02c329ac4c91e7f3350a9e350cddaeb6815b45c7b3cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:52.129695Z","signature_b64":"4BrA32pXjzIB2Oyd958JxVn1ZCaYRIVWZSwTJQSl8qC0o3/7wub+8cfyOYzLL0QAvfBNxiSnoI1A9DY9GBHyAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd90c0d45b5de8e1960e02c329ac4c91e7f3350a9e350cddaeb6815b45c7b3cf","last_reissued_at":"2026-05-18T00:11:52.129002Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:52.129002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.00575","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-18T00:11:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1d0cK75xNPFMjMpPXm1+ljA6P2HUQ7vs3lRoVUZ49HnyeAKiVv9ILahxWTrq97qYF40lwrfkuQntCvqqTzseAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:57:11.911864Z"},"content_sha256":"4119c9edbdb92165def479c7fca215d46c7a670bbb6eb58063a617c9708db8ff","schema_version":"1.0","event_id":"sha256:4119c9edbdb92165def479c7fca215d46c7a670bbb6eb58063a617c9708db8ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3WIMBVC3LXUODFQOALBSTLCMSH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Abhik Roychoudhury, Prateek Saxena, Shiqi Shen, Shweta Shinde, Soundarya Ramesh","submitted_at":"2018-07-02T10:08:45Z","abstract_excerpt":"Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the need for language-specific implementation, the inability to handle complex dependencies, and the limited expressiveness of theories supported by underlying satisfiability checkers. Often, relationships between variables of interest are not expressible directly as purely symbolic constraints. To this end, we present a new approach -- neuro-symbolic execution -- which learns an approximation of the relationship as a ne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.00575","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-18T00:11:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yuL3JfZgabzRyfuP2Prv+Lme3SPpo6uUDC2qynznvQuENWqbAX6qiiRYLVjfEkRDO01ctAIbAn6Y2aDy1K+nDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:57:11.912538Z"},"content_sha256":"90a48867a149525669e8fa192ed775cc972094afa132ec017f4d3c98969abf13","schema_version":"1.0","event_id":"sha256:90a48867a149525669e8fa192ed775cc972094afa132ec017f4d3c98969abf13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3WIMBVC3LXUODFQOALBSTLCMSH/bundle.json","state_url":"https://pith.science/pith/3WIMBVC3LXUODFQOALBSTLCMSH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3WIMBVC3LXUODFQOALBSTLCMSH/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-25T20:57:11Z","links":{"resolver":"https://pith.science/pith/3WIMBVC3LXUODFQOALBSTLCMSH","bundle":"https://pith.science/pith/3WIMBVC3LXUODFQOALBSTLCMSH/bundle.json","state":"https://pith.science/pith/3WIMBVC3LXUODFQOALBSTLCMSH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3WIMBVC3LXUODFQOALBSTLCMSH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3WIMBVC3LXUODFQOALBSTLCMSH","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":"eb8755b53d0d14bf075b407b7afc83980b7026bcd56a7d2ac3e13dc681ddcf66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-02T10:08:45Z","title_canon_sha256":"c2581663752fa932344c3b541929986b278dcce34b9e402357fb1d8f1d22a0ed"},"schema_version":"1.0","source":{"id":"1807.00575","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.00575","created_at":"2026-05-18T00:11:52Z"},{"alias_kind":"arxiv_version","alias_value":"1807.00575v1","created_at":"2026-05-18T00:11:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.00575","created_at":"2026-05-18T00:11:52Z"},{"alias_kind":"pith_short_12","alias_value":"3WIMBVC3LXUO","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"3WIMBVC3LXUODFQO","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"3WIMBVC3","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:90a48867a149525669e8fa192ed775cc972094afa132ec017f4d3c98969abf13","target":"graph","created_at":"2026-05-18T00:11:52Z","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":"Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the need for language-specific implementation, the inability to handle complex dependencies, and the limited expressiveness of theories supported by underlying satisfiability checkers. Often, relationships between variables of interest are not expressible directly as purely symbolic constraints. To this end, we present a new approach -- neuro-symbolic execution -- which learns an approximation of the relationship as a ne","authors_text":"Abhik Roychoudhury, Prateek Saxena, Shiqi Shen, Shweta Shinde, Soundarya Ramesh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-02T10:08:45Z","title":"Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.00575","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:4119c9edbdb92165def479c7fca215d46c7a670bbb6eb58063a617c9708db8ff","target":"record","created_at":"2026-05-18T00:11:52Z","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":"eb8755b53d0d14bf075b407b7afc83980b7026bcd56a7d2ac3e13dc681ddcf66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-02T10:08:45Z","title_canon_sha256":"c2581663752fa932344c3b541929986b278dcce34b9e402357fb1d8f1d22a0ed"},"schema_version":"1.0","source":{"id":"1807.00575","kind":"arxiv","version":1}},"canonical_sha256":"dd90c0d45b5de8e1960e02c329ac4c91e7f3350a9e350cddaeb6815b45c7b3cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd90c0d45b5de8e1960e02c329ac4c91e7f3350a9e350cddaeb6815b45c7b3cf","first_computed_at":"2026-05-18T00:11:52.129002Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:52.129002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4BrA32pXjzIB2Oyd958JxVn1ZCaYRIVWZSwTJQSl8qC0o3/7wub+8cfyOYzLL0QAvfBNxiSnoI1A9DY9GBHyAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:52.129695Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.00575","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4119c9edbdb92165def479c7fca215d46c7a670bbb6eb58063a617c9708db8ff","sha256:90a48867a149525669e8fa192ed775cc972094afa132ec017f4d3c98969abf13"],"state_sha256":"58b3a6716410cd0a3db39c4a61d80a5ee0afe9e776d583e65818d3196001b648"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o35QN/ii4J7bbuXNaTlqNBpqYloj8N/d1H0VAX7hpBhNdUd10QLzmEmr/08rObzW1b1ngLVM/aaNG59hnhEIAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T20:57:11.915941Z","bundle_sha256":"4a1696fb0bf1659b0bdc70698484a346afddd1d7c9bf27556328e9fe02a83fca"}}