{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:J6MTFU4LL7VDTILO7J3LPIO6EP","short_pith_number":"pith:J6MTFU4L","schema_version":"1.0","canonical_sha256":"4f9932d38b5fea39a16efa76b7a1de23dd092ae889f481219556ad8ba3bfc7a1","source":{"kind":"arxiv","id":"1711.07163","version":4},"attestation_state":"computed","paper":{"title":"Dynamic Neural Program Embedding for Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Ke Wang, Rishabh Singh, Zhendong Su","submitted_at":"2017-11-20T06:02:06Z","abstract_excerpt":"Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, fault localization, etc. However, most existing program embeddings are based on syntactic features of programs, such as raw token sequences or abstract syntax trees. Unlike images and text, a program has an unambiguous semantic meaning that can be difficult to capture by only considering its syntax (i.e. syntactically similar pro- grams can exhibit vastly different run-time behavior), which makes syntax-based program embeddings fundamentally limited. "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1711.07163","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-20T06:02:06Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"80ab3ded81c63d6d2b63d1f159f74d686c8cc76a1091097915c7e2adae1af4c3","abstract_canon_sha256":"d01c28c1520aaff6503f8a938959dd77d728968178006cb104da3f6f31fca12d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:57.748289Z","signature_b64":"oNFfT1DhzIsR8LI5OuKVoZMA0Md/xj6qGe7SDMu+kyOY2YgvHz/rb6/aumSJ8g9GfA8Bl/dyr6LZDYrQXpFHBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f9932d38b5fea39a16efa76b7a1de23dd092ae889f481219556ad8ba3bfc7a1","last_reissued_at":"2026-05-18T00:11:57.747811Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:57.747811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dynamic Neural Program Embedding for Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Ke Wang, Rishabh Singh, Zhendong Su","submitted_at":"2017-11-20T06:02:06Z","abstract_excerpt":"Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, fault localization, etc. However, most existing program embeddings are based on syntactic features of programs, such as raw token sequences or abstract syntax trees. Unlike images and text, a program has an unambiguous semantic meaning that can be difficult to capture by only considering its syntax (i.e. syntactically similar pro- grams can exhibit vastly different run-time behavior), which makes syntax-based program embeddings fundamentally limited. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.07163","kind":"arxiv","version":4},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1711.07163","created_at":"2026-05-18T00:11:57.747883+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.07163v4","created_at":"2026-05-18T00:11:57.747883+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.07163","created_at":"2026-05-18T00:11:57.747883+00:00"},{"alias_kind":"pith_short_12","alias_value":"J6MTFU4LL7VD","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_16","alias_value":"J6MTFU4LL7VDTILO","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_8","alias_value":"J6MTFU4L","created_at":"2026-05-18T12:31:21.493067+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"1906.12029","citing_title":"A Neural-based Program Decompiler","ref_index":40,"is_internal_anchor":true},{"citing_arxiv_id":"1907.02136","citing_title":"Learning Blended, Precise Semantic Program Embeddings","ref_index":14,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP","json":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP.json","graph_json":"https://pith.science/api/pith-number/J6MTFU4LL7VDTILO7J3LPIO6EP/graph.json","events_json":"https://pith.science/api/pith-number/J6MTFU4LL7VDTILO7J3LPIO6EP/events.json","paper":"https://pith.science/paper/J6MTFU4L"},"agent_actions":{"view_html":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP","download_json":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP.json","view_paper":"https://pith.science/paper/J6MTFU4L","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.07163&json=true","fetch_graph":"https://pith.science/api/pith-number/J6MTFU4LL7VDTILO7J3LPIO6EP/graph.json","fetch_events":"https://pith.science/api/pith-number/J6MTFU4LL7VDTILO7J3LPIO6EP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP/action/storage_attestation","attest_author":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP/action/author_attestation","sign_citation":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP/action/citation_signature","submit_replication":"https://pith.science/pith/J6MTFU4LL7VDTILO7J3LPIO6EP/action/replication_record"}},"created_at":"2026-05-18T00:11:57.747883+00:00","updated_at":"2026-05-18T00:11:57.747883+00:00"}