{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:MFDPZBRUGW5FLXM4FIBKSQUPXU","short_pith_number":"pith:MFDPZBRU","canonical_record":{"source":{"id":"1807.05691","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-16T06:21:54Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e031a43e10d7df7bebcb993b7adbeefd899145249d796d4c3cec09bec5bd1b68","abstract_canon_sha256":"62ffa2322bd77fdd79bed66b0d876d0d1f9b5d8e5e953eaffb77d4732200cb61"},"schema_version":"1.0"},"canonical_sha256":"6146fc863435ba55dd9c2a02a9428fbd3d2d608f23f0fbcd665898c9868a5ac1","source":{"kind":"arxiv","id":"1807.05691","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.05691","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1807.05691v2","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.05691","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"MFDPZBRUGW5F","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MFDPZBRUGW5FLXM4","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MFDPZBRU","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:MFDPZBRUGW5FLXM4FIBKSQUPXU","target":"record","payload":{"canonical_record":{"source":{"id":"1807.05691","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-16T06:21:54Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e031a43e10d7df7bebcb993b7adbeefd899145249d796d4c3cec09bec5bd1b68","abstract_canon_sha256":"62ffa2322bd77fdd79bed66b0d876d0d1f9b5d8e5e953eaffb77d4732200cb61"},"schema_version":"1.0"},"canonical_sha256":"6146fc863435ba55dd9c2a02a9428fbd3d2d608f23f0fbcd665898c9868a5ac1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:34.294868Z","signature_b64":"vPiYwvqFw7VNh1DtQYO3Y5AZpKEDIxnBU60yyqMQnjLMc17wmGbdVMjiaxHjIs23eID7MiQOSp8eVDvGnTRDBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6146fc863435ba55dd9c2a02a9428fbd3d2d608f23f0fbcd665898c9868a5ac1","last_reissued_at":"2026-05-17T23:55:34.294171Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:34.294171Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.05691","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:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8FT3kALtBh3axpKTsmZyjbVwfVCzjg/Zsdz+QOuq3AvQRLZpQVYh5nY+hELhhpZYz0PJQUKWC3/9Ew3kyiKMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T12:31:18.238032Z"},"content_sha256":"d89d071ada7b2961770baa7354ab33cb07c07e05086d7af04cc470e619674df1","schema_version":"1.0","event_id":"sha256:d89d071ada7b2961770baa7354ab33cb07c07e05086d7af04cc470e619674df1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:MFDPZBRUGW5FLXM4FIBKSQUPXU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Teaching machines to understand data science code by semantic enrichment of dataflow graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.AI","authors_text":"Aleksandra Mojsilovic, Evan Patterson, Ioana Baldini, Kush R. Varshney","submitted_at":"2018-07-16T06:21:54Z","abstract_excerpt":"Your computer is continuously executing programs, but does it really understand them? Not in any meaningful sense. That burden falls upon human knowledge workers, who are increasingly asked to write and understand code. They deserve to have intelligent tools that reveal the connections between code and its subject matter. Towards this prospect, we develop an AI system that forms semantic representations of computer programs, using techniques from knowledge representation and program analysis. To create the representations, we introduce an algorithm for enriching dataflow graphs with semantic i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.05691","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:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Rpf4YGKNG1HygLV+9OBoY+9Nyv1IKgteT4IgZdAchznETm0rUyof/tza91AEr09r+n6vDZ3+dn/UulyhQVLnDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T12:31:18.238382Z"},"content_sha256":"e765286e82be47f081cba6beda5722e4f3bf8ffc5a8f180b27589ae9bebb74f9","schema_version":"1.0","event_id":"sha256:e765286e82be47f081cba6beda5722e4f3bf8ffc5a8f180b27589ae9bebb74f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MFDPZBRUGW5FLXM4FIBKSQUPXU/bundle.json","state_url":"https://pith.science/pith/MFDPZBRUGW5FLXM4FIBKSQUPXU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MFDPZBRUGW5FLXM4FIBKSQUPXU/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-06-09T12:31:18Z","links":{"resolver":"https://pith.science/pith/MFDPZBRUGW5FLXM4FIBKSQUPXU","bundle":"https://pith.science/pith/MFDPZBRUGW5FLXM4FIBKSQUPXU/bundle.json","state":"https://pith.science/pith/MFDPZBRUGW5FLXM4FIBKSQUPXU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MFDPZBRUGW5FLXM4FIBKSQUPXU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MFDPZBRUGW5FLXM4FIBKSQUPXU","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":"62ffa2322bd77fdd79bed66b0d876d0d1f9b5d8e5e953eaffb77d4732200cb61","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-16T06:21:54Z","title_canon_sha256":"e031a43e10d7df7bebcb993b7adbeefd899145249d796d4c3cec09bec5bd1b68"},"schema_version":"1.0","source":{"id":"1807.05691","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.05691","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1807.05691v2","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.05691","created_at":"2026-05-17T23:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"MFDPZBRUGW5F","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MFDPZBRUGW5FLXM4","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MFDPZBRU","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:e765286e82be47f081cba6beda5722e4f3bf8ffc5a8f180b27589ae9bebb74f9","target":"graph","created_at":"2026-05-17T23:55:34Z","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":"Your computer is continuously executing programs, but does it really understand them? Not in any meaningful sense. That burden falls upon human knowledge workers, who are increasingly asked to write and understand code. They deserve to have intelligent tools that reveal the connections between code and its subject matter. Towards this prospect, we develop an AI system that forms semantic representations of computer programs, using techniques from knowledge representation and program analysis. To create the representations, we introduce an algorithm for enriching dataflow graphs with semantic i","authors_text":"Aleksandra Mojsilovic, Evan Patterson, Ioana Baldini, Kush R. Varshney","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-16T06:21:54Z","title":"Teaching machines to understand data science code by semantic enrichment of dataflow graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.05691","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:d89d071ada7b2961770baa7354ab33cb07c07e05086d7af04cc470e619674df1","target":"record","created_at":"2026-05-17T23:55:34Z","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":"62ffa2322bd77fdd79bed66b0d876d0d1f9b5d8e5e953eaffb77d4732200cb61","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-16T06:21:54Z","title_canon_sha256":"e031a43e10d7df7bebcb993b7adbeefd899145249d796d4c3cec09bec5bd1b68"},"schema_version":"1.0","source":{"id":"1807.05691","kind":"arxiv","version":2}},"canonical_sha256":"6146fc863435ba55dd9c2a02a9428fbd3d2d608f23f0fbcd665898c9868a5ac1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6146fc863435ba55dd9c2a02a9428fbd3d2d608f23f0fbcd665898c9868a5ac1","first_computed_at":"2026-05-17T23:55:34.294171Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:34.294171Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vPiYwvqFw7VNh1DtQYO3Y5AZpKEDIxnBU60yyqMQnjLMc17wmGbdVMjiaxHjIs23eID7MiQOSp8eVDvGnTRDBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:34.294868Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.05691","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d89d071ada7b2961770baa7354ab33cb07c07e05086d7af04cc470e619674df1","sha256:e765286e82be47f081cba6beda5722e4f3bf8ffc5a8f180b27589ae9bebb74f9"],"state_sha256":"c57e3338922555fd5629cbf854621e6dfe8c503d93bc6679f25765be65290cb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jgNmZnTt+tdcpXHZ2A7nX6QCulvb/ATOoOjq4n5Z6uXKaaIqWhoR7M5RrKkFpKV82/HljptnZ6fPXuj/BK6YAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T12:31:18.240174Z","bundle_sha256":"9c5d0e857817900198a196006a96c5fa34dc32904b28fb77040d614d3834a11d"}}