{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ERB7ZE62RAYMPX3M73SJ3OXL6E","short_pith_number":"pith:ERB7ZE62","canonical_record":{"source":{"id":"1907.02136","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T21:15:04Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"068c90b47761a6a8ddaeb47c5c9e8724f5a443d4b83b491e8981e744d2695fa2","abstract_canon_sha256":"61f82a582c54290da56d526ff6e5a7edb95740d3d1d99e6b1dc0c0e800c706a1"},"schema_version":"1.0"},"canonical_sha256":"2443fc93da8830c7df6cfee49dbaebf10736f6fce53812042fd805903b961915","source":{"kind":"arxiv","id":"1907.02136","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.02136","created_at":"2026-05-17T23:40:54Z"},{"alias_kind":"arxiv_version","alias_value":"1907.02136v2","created_at":"2026-05-17T23:40:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.02136","created_at":"2026-05-17T23:40:54Z"},{"alias_kind":"pith_short_12","alias_value":"ERB7ZE62RAYM","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"ERB7ZE62RAYMPX3M","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"ERB7ZE62","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ERB7ZE62RAYMPX3M73SJ3OXL6E","target":"record","payload":{"canonical_record":{"source":{"id":"1907.02136","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T21:15:04Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"068c90b47761a6a8ddaeb47c5c9e8724f5a443d4b83b491e8981e744d2695fa2","abstract_canon_sha256":"61f82a582c54290da56d526ff6e5a7edb95740d3d1d99e6b1dc0c0e800c706a1"},"schema_version":"1.0"},"canonical_sha256":"2443fc93da8830c7df6cfee49dbaebf10736f6fce53812042fd805903b961915","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:54.900469Z","signature_b64":"LzJQUEuc4o6JgkJvB24vU9jBxcsqP98L7kILNxTebaVypSAhukUS5tAvoKvw+3LfDmBq0emrSpwTOKI8/HS1CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2443fc93da8830c7df6cfee49dbaebf10736f6fce53812042fd805903b961915","last_reissued_at":"2026-05-17T23:40:54.899826Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:54.899826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.02136","source_version":2,"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:40:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UmHh/iljDVFCggKtsHitbGl3l8/I2a9dY9iiKV3UHpBaf9fjYh6W293hw8ujYnKA66vKOrlFlUaoQ8+2Zu4eDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:40:24.201561Z"},"content_sha256":"d6e16ad5a79dbe84e124702c87ccb1158b0510ef7d51ac55639dec036f442831","schema_version":"1.0","event_id":"sha256:d6e16ad5a79dbe84e124702c87ccb1158b0510ef7d51ac55639dec036f442831"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ERB7ZE62RAYMPX3M73SJ3OXL6E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Blended, Precise Semantic Program Embeddings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Ke Wang, Zhendong Su","submitted_at":"2019-07-03T21:15:04Z","abstract_excerpt":"Learning neural program embeddings is key to utilizing deep neural networks in program languages research --- precise and efficient program representations enable the application of deep models to a wide range of program analysis tasks. Existing approaches predominately learn to embed programs from their source code, and, as a result, they do not capture deep, precise program semantics. On the other hand, models learned from runtime information critically depend on the quality of program executions, thus leading to trained models with highly variant quality. This paper tackles these inherent w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.02136","kind":"arxiv","version":2},"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:40:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qV0FaX1rcghZ6/RKJA0JRjahuSCB/3avng51kjPIk9Du8ZXDSEA4e47snUab9ZVnTlgjkcJ7eTyeOed6Fk5PCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:40:24.201930Z"},"content_sha256":"720d333f376a07ff3a24eb831a0ab45416c8305e35a0d71fd7bf5e4ace0f9fe1","schema_version":"1.0","event_id":"sha256:720d333f376a07ff3a24eb831a0ab45416c8305e35a0d71fd7bf5e4ace0f9fe1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ERB7ZE62RAYMPX3M73SJ3OXL6E/bundle.json","state_url":"https://pith.science/pith/ERB7ZE62RAYMPX3M73SJ3OXL6E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ERB7ZE62RAYMPX3M73SJ3OXL6E/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-26T20:40:24Z","links":{"resolver":"https://pith.science/pith/ERB7ZE62RAYMPX3M73SJ3OXL6E","bundle":"https://pith.science/pith/ERB7ZE62RAYMPX3M73SJ3OXL6E/bundle.json","state":"https://pith.science/pith/ERB7ZE62RAYMPX3M73SJ3OXL6E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ERB7ZE62RAYMPX3M73SJ3OXL6E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ERB7ZE62RAYMPX3M73SJ3OXL6E","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":"61f82a582c54290da56d526ff6e5a7edb95740d3d1d99e6b1dc0c0e800c706a1","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T21:15:04Z","title_canon_sha256":"068c90b47761a6a8ddaeb47c5c9e8724f5a443d4b83b491e8981e744d2695fa2"},"schema_version":"1.0","source":{"id":"1907.02136","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.02136","created_at":"2026-05-17T23:40:54Z"},{"alias_kind":"arxiv_version","alias_value":"1907.02136v2","created_at":"2026-05-17T23:40:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.02136","created_at":"2026-05-17T23:40:54Z"},{"alias_kind":"pith_short_12","alias_value":"ERB7ZE62RAYM","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"ERB7ZE62RAYMPX3M","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"ERB7ZE62","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:720d333f376a07ff3a24eb831a0ab45416c8305e35a0d71fd7bf5e4ace0f9fe1","target":"graph","created_at":"2026-05-17T23:40:54Z","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":"Learning neural program embeddings is key to utilizing deep neural networks in program languages research --- precise and efficient program representations enable the application of deep models to a wide range of program analysis tasks. Existing approaches predominately learn to embed programs from their source code, and, as a result, they do not capture deep, precise program semantics. On the other hand, models learned from runtime information critically depend on the quality of program executions, thus leading to trained models with highly variant quality. This paper tackles these inherent w","authors_text":"Ke Wang, Zhendong Su","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T21:15:04Z","title":"Learning Blended, Precise Semantic Program Embeddings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.02136","kind":"arxiv","version":2},"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:d6e16ad5a79dbe84e124702c87ccb1158b0510ef7d51ac55639dec036f442831","target":"record","created_at":"2026-05-17T23:40:54Z","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":"61f82a582c54290da56d526ff6e5a7edb95740d3d1d99e6b1dc0c0e800c706a1","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T21:15:04Z","title_canon_sha256":"068c90b47761a6a8ddaeb47c5c9e8724f5a443d4b83b491e8981e744d2695fa2"},"schema_version":"1.0","source":{"id":"1907.02136","kind":"arxiv","version":2}},"canonical_sha256":"2443fc93da8830c7df6cfee49dbaebf10736f6fce53812042fd805903b961915","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2443fc93da8830c7df6cfee49dbaebf10736f6fce53812042fd805903b961915","first_computed_at":"2026-05-17T23:40:54.899826Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:54.899826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LzJQUEuc4o6JgkJvB24vU9jBxcsqP98L7kILNxTebaVypSAhukUS5tAvoKvw+3LfDmBq0emrSpwTOKI8/HS1CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:54.900469Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.02136","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d6e16ad5a79dbe84e124702c87ccb1158b0510ef7d51ac55639dec036f442831","sha256:720d333f376a07ff3a24eb831a0ab45416c8305e35a0d71fd7bf5e4ace0f9fe1"],"state_sha256":"07d8ba114fdcc1f5a7e8ac9dc2ee71ae51fc47a739dd6f0357f990ce855f5e32"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZCAvH5ydslSxVeMjHdgK5JpxFVb4nKRnlButqcZcVTVNLEfMsM/T9uwD6P4CVuobIUi6ZV7iM7Vmlj9OZv9BAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:40:24.204294Z","bundle_sha256":"d6468c6f38567b3d2b726e1b436e4560d6e9c7d74142870be6faa6e230e57def"}}