{"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"}