{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:6AGVVCFIGZ3524FQJSB62OUMKA","short_pith_number":"pith:6AGVVCFI","canonical_record":{"source":{"id":"2406.01006","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-03T05:36:57Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"81f9d32af00d20a69916a40eeafa9322394c867b8ef0db6ce814dae2a0dc5a04","abstract_canon_sha256":"34ed04ec3f7c5ab063cd22dc173451a2558a293777fdbb057efce87d453247e9"},"schema_version":"1.0"},"canonical_sha256":"f00d5a88a83677dd70b04c83ed3a8c500856c6d4568e9e9893f8e4995bf175a1","source":{"kind":"arxiv","id":"2406.01006","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.01006","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"arxiv_version","alias_value":"2406.01006v2","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.01006","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_12","alias_value":"6AGVVCFIGZ35","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"6AGVVCFIGZ3524FQ","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"6AGVVCFI","created_at":"2026-07-05T09:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:6AGVVCFIGZ3524FQJSB62OUMKA","target":"record","payload":{"canonical_record":{"source":{"id":"2406.01006","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-03T05:36:57Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"81f9d32af00d20a69916a40eeafa9322394c867b8ef0db6ce814dae2a0dc5a04","abstract_canon_sha256":"34ed04ec3f7c5ab063cd22dc173451a2558a293777fdbb057efce87d453247e9"},"schema_version":"1.0"},"canonical_sha256":"f00d5a88a83677dd70b04c83ed3a8c500856c6d4568e9e9893f8e4995bf175a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:29:29.819287Z","signature_b64":"3p8/odLA/NZBNBE3rm7GwRA6BSDncQyvBL+OMlvtJ6pbaWAd4zGWSN092HpFRJTuzXGyOi2alYrSw8XfrPA3Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f00d5a88a83677dd70b04c83ed3a8c500856c6d4568e9e9893f8e4995bf175a1","last_reissued_at":"2026-07-05T09:29:29.818177Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:29:29.818177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.01006","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-07-05T09:29:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Md1leANgq1YJvzGuFo0q6u/wUfTZcbUoHJsQ/jxSXFgDCkTliWf4Y5Natacc+jQ/sXYc1wgsXUFD67C+o/HyCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:25:12.204459Z"},"content_sha256":"2741f5f5a80a0069494ed2fbb8676851a02bdb4f1af1b95726de6b2b7b81ade1","schema_version":"1.0","event_id":"sha256:2741f5f5a80a0069494ed2fbb8676851a02bdb4f1af1b95726de6b2b7b81ade1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:6AGVVCFIGZ3524FQJSB62OUMKA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.CL","authors_text":"Baishakhi Ray, Gail Kaiser, Jinjun Peng, Junfeng Yang, Marcus J. Min, Yangruibo Ding","submitted_at":"2024-06-03T05:36:57Z","abstract_excerpt":"Code Large Language Models (Code LLMs) have excelled at tasks like code completion but often miss deeper semantics such as execution effects and dynamic states. This paper aims to bridge the gap between Code LLMs' reliance on static text data and the need for semantic understanding for complex tasks like debugging and program repair. We introduce a novel strategy, monologue reasoning, to train Code LLMs to reason comprehensive semantics, encompassing high-level functional descriptions, local execution effects of individual statements, and overall input/output behavior, thereby linking static c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.01006","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.01006/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:29:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tM8OKPl/pVsDSDrS+FhS6fe6S1L57qDkngv75iZnQyALIUoVNsoRJluYsQEdAGNmRu8iqRbnxZia+uRqS+qYAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:25:12.204831Z"},"content_sha256":"85e6f5585687a01e45f3e3a6889d9b4b83bad8c282f13b1791647e5c79d22b98","schema_version":"1.0","event_id":"sha256:85e6f5585687a01e45f3e3a6889d9b4b83bad8c282f13b1791647e5c79d22b98"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6AGVVCFIGZ3524FQJSB62OUMKA/bundle.json","state_url":"https://pith.science/pith/6AGVVCFIGZ3524FQJSB62OUMKA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6AGVVCFIGZ3524FQJSB62OUMKA/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-07-06T23:25:12Z","links":{"resolver":"https://pith.science/pith/6AGVVCFIGZ3524FQJSB62OUMKA","bundle":"https://pith.science/pith/6AGVVCFIGZ3524FQJSB62OUMKA/bundle.json","state":"https://pith.science/pith/6AGVVCFIGZ3524FQJSB62OUMKA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6AGVVCFIGZ3524FQJSB62OUMKA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6AGVVCFIGZ3524FQJSB62OUMKA","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":"34ed04ec3f7c5ab063cd22dc173451a2558a293777fdbb057efce87d453247e9","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-03T05:36:57Z","title_canon_sha256":"81f9d32af00d20a69916a40eeafa9322394c867b8ef0db6ce814dae2a0dc5a04"},"schema_version":"1.0","source":{"id":"2406.01006","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.01006","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"arxiv_version","alias_value":"2406.01006v2","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.01006","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_12","alias_value":"6AGVVCFIGZ35","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"6AGVVCFIGZ3524FQ","created_at":"2026-07-05T09:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"6AGVVCFI","created_at":"2026-07-05T09:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:85e6f5585687a01e45f3e3a6889d9b4b83bad8c282f13b1791647e5c79d22b98","target":"graph","created_at":"2026-07-05T09:29:29Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2406.01006/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code Large Language Models (Code LLMs) have excelled at tasks like code completion but often miss deeper semantics such as execution effects and dynamic states. This paper aims to bridge the gap between Code LLMs' reliance on static text data and the need for semantic understanding for complex tasks like debugging and program repair. We introduce a novel strategy, monologue reasoning, to train Code LLMs to reason comprehensive semantics, encompassing high-level functional descriptions, local execution effects of individual statements, and overall input/output behavior, thereby linking static c","authors_text":"Baishakhi Ray, Gail Kaiser, Jinjun Peng, Junfeng Yang, Marcus J. Min, Yangruibo Ding","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-03T05:36:57Z","title":"SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.01006","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:2741f5f5a80a0069494ed2fbb8676851a02bdb4f1af1b95726de6b2b7b81ade1","target":"record","created_at":"2026-07-05T09:29:29Z","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":"34ed04ec3f7c5ab063cd22dc173451a2558a293777fdbb057efce87d453247e9","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-06-03T05:36:57Z","title_canon_sha256":"81f9d32af00d20a69916a40eeafa9322394c867b8ef0db6ce814dae2a0dc5a04"},"schema_version":"1.0","source":{"id":"2406.01006","kind":"arxiv","version":2}},"canonical_sha256":"f00d5a88a83677dd70b04c83ed3a8c500856c6d4568e9e9893f8e4995bf175a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f00d5a88a83677dd70b04c83ed3a8c500856c6d4568e9e9893f8e4995bf175a1","first_computed_at":"2026-07-05T09:29:29.818177Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:29:29.818177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3p8/odLA/NZBNBE3rm7GwRA6BSDncQyvBL+OMlvtJ6pbaWAd4zGWSN092HpFRJTuzXGyOi2alYrSw8XfrPA3Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:29:29.819287Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.01006","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2741f5f5a80a0069494ed2fbb8676851a02bdb4f1af1b95726de6b2b7b81ade1","sha256:85e6f5585687a01e45f3e3a6889d9b4b83bad8c282f13b1791647e5c79d22b98"],"state_sha256":"bdd26eafbf683faf7ea0f0d0d5222e3158d0c1238d17dda99a569700784ddb3a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"smkxiO1VOeg74ffb7PCXtnpFrAuxwXMUK/McW9wuAoLEQRESBtO34jbMlajkWTJ4mDxhE8b/bP0peyLpJSrpBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T23:25:12.206955Z","bundle_sha256":"8a44e77ab1740e695afe407d4ac48eea5852669893fae5412668072236054d16"}}