{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:M2HPUNVUBH5JZPJZ7G2EKEWV3S","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":"5d640cb94a28760dfeb0c6a0ae63248a464066892f80b92edaea87713cf1f1bb","cross_cats_sorted":["cs.LG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-18T18:23:26Z","title_canon_sha256":"2eb07d8aad16ebe7287bbba137dd85eb11754035ed611a6512f5ab741b332105"},"schema_version":"1.0","source":{"id":"1907.08615","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.08615","created_at":"2026-05-17T23:40:08Z"},{"alias_kind":"arxiv_version","alias_value":"1907.08615v1","created_at":"2026-05-17T23:40:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.08615","created_at":"2026-05-17T23:40:08Z"},{"alias_kind":"pith_short_12","alias_value":"M2HPUNVUBH5J","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"M2HPUNVUBH5JZPJZ","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"M2HPUNVU","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:e882f473c4c392d1fda54e530ac4cf95982a4f05de267079e1b3fb323c7f4a03","target":"graph","created_at":"2026-05-17T23:40:08Z","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":"Many software analysis methods have come to rely on machine learning approaches. Code segmentation - the process of decomposing source code into meaningful blocks - can augment these methods by featurizing code, reducing noise, and limiting the problem space. Traditionally, code segmentation has been done using syntactic cues; current approaches do not intentionally capture logical content. We develop a novel deep learning approach to generate logical code segments regardless of the language or syntactic correctness of the code. Due to the lack of logically segmented source code, we introduce ","authors_text":"Ben Gelman, David Slater, Jacob Dormuth, Jessica Moore","cross_cats":["cs.LG","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-18T18:23:26Z","title":"Logical Segmentation of Source Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.08615","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:00db1a839a5eee9af6b88aa52640cd0c93fc33fdf5fcb57a084b937606a56586","target":"record","created_at":"2026-05-17T23:40:08Z","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":"5d640cb94a28760dfeb0c6a0ae63248a464066892f80b92edaea87713cf1f1bb","cross_cats_sorted":["cs.LG","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-18T18:23:26Z","title_canon_sha256":"2eb07d8aad16ebe7287bbba137dd85eb11754035ed611a6512f5ab741b332105"},"schema_version":"1.0","source":{"id":"1907.08615","kind":"arxiv","version":1}},"canonical_sha256":"668efa36b409fa9cbd39f9b44512d5dcb2bd21d5bd14d4bec139e209de91f04b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"668efa36b409fa9cbd39f9b44512d5dcb2bd21d5bd14d4bec139e209de91f04b","first_computed_at":"2026-05-17T23:40:08.414561Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:08.414561Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A7Wva4xi+OB30tYuJxea0VPRE/U/vyDGxzPW3RpNHAeHcCNry5B7CYv7dS1ssD8fGGLv7I/zy+AWUyji0ZSYCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:08.415283Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.08615","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:00db1a839a5eee9af6b88aa52640cd0c93fc33fdf5fcb57a084b937606a56586","sha256:e882f473c4c392d1fda54e530ac4cf95982a4f05de267079e1b3fb323c7f4a03"],"state_sha256":"45ea52e9301ad4106935cd7fd8f03017aa3b9816395c034057a58e48efce5dc5"}