{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:6ELT63NSTJUV2K33P24H7T7ZW5","short_pith_number":"pith:6ELT63NS","canonical_record":{"source":{"id":"2309.00608","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-01T17:54:14Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"b458ce93424e334c7759bf805361f0797a994f2f40cecdbb6d9962a2be6f795c","abstract_canon_sha256":"f2a8217f9774e3bb911b001e17d21a7d7f2abcf1eb0285fa92e4ab61c92119f1"},"schema_version":"1.0"},"canonical_sha256":"f1173f6db29a695d2b7b7eb87fcff9b74684ff805b5c050c06e3e74b60c24f61","source":{"kind":"arxiv","id":"2309.00608","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.00608","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"arxiv_version","alias_value":"2309.00608v3","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.00608","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"pith_short_12","alias_value":"6ELT63NSTJUV","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"pith_short_16","alias_value":"6ELT63NSTJUV2K33","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"pith_short_8","alias_value":"6ELT63NS","created_at":"2026-07-05T07:10:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:6ELT63NSTJUV2K33P24H7T7ZW5","target":"record","payload":{"canonical_record":{"source":{"id":"2309.00608","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-01T17:54:14Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"b458ce93424e334c7759bf805361f0797a994f2f40cecdbb6d9962a2be6f795c","abstract_canon_sha256":"f2a8217f9774e3bb911b001e17d21a7d7f2abcf1eb0285fa92e4ab61c92119f1"},"schema_version":"1.0"},"canonical_sha256":"f1173f6db29a695d2b7b7eb87fcff9b74684ff805b5c050c06e3e74b60c24f61","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:10:49.646518Z","signature_b64":"b4Kwp+IruI3eKXOcgBMW0TsOx6hiZxnIp25UPjBRwvuYj1lm1qVckqgRN4U/Qgsx7pddNZvyZgA+D/G6UnDaCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1173f6db29a695d2b7b7eb87fcff9b74684ff805b5c050c06e3e74b60c24f61","last_reissued_at":"2026-07-05T07:10:49.646038Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:10:49.646038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.00608","source_version":3,"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-05T07:10:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u1e7Fks9sCCxsSYfgRsqX3vTli5ZBZkeCq+hda8B1k2eeRr2rtoxk5hhXBECMMx2fmnpbJyyJQAHfVRDAwslBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T11:50:37.099127Z"},"content_sha256":"5662f5a2794a4d7af3dfab1d9f8cb67cbd59f792d165597a21594f6c87b4808c","schema_version":"1.0","event_id":"sha256:5662f5a2794a4d7af3dfab1d9f8cb67cbd59f792d165597a21594f6c87b4808c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:6ELT63NSTJUV2K33P24H7T7ZW5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Chunqiu Steven Xia, Lingming Zhang, Yuxiang Wei","submitted_at":"2023-09-01T17:54:14Z","abstract_excerpt":"During Automated Program Repair (APR), it can be challenging to synthesize correct patches for real-world systems in general-purpose programming languages. Recent Large Language Models (LLMs) have been shown to be helpful \"copilots\" in assisting developers with various coding tasks, and have also been directly applied for patch synthesis. However, most LLMs treat programs as sequences of tokens, meaning that they are ignorant of the underlying semantics constraints of the target programming language. This results in plenty of statically invalid generated patches, impeding the practicality of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.00608","kind":"arxiv","version":3},"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/2309.00608/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-05T07:10:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LD+yRoNdzw8Hc6OnNdPRmtvGVVdmj8RXucNSdq6EcoEGS/tW6A7AXZjRQJ/wmp+mtJeBRotYeuorlasJTXRFBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T11:50:37.099924Z"},"content_sha256":"b99b2a2ee8dd913fd2e2a25ac4fa611bcc936e6f34461aeeb1a19acee316f0ad","schema_version":"1.0","event_id":"sha256:b99b2a2ee8dd913fd2e2a25ac4fa611bcc936e6f34461aeeb1a19acee316f0ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/bundle.json","state_url":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6ELT63NSTJUV2K33P24H7T7ZW5/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-08-06T11:50:37Z","links":{"resolver":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5","bundle":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/bundle.json","state":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6ELT63NSTJUV2K33P24H7T7ZW5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:6ELT63NSTJUV2K33P24H7T7ZW5","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":"f2a8217f9774e3bb911b001e17d21a7d7f2abcf1eb0285fa92e4ab61c92119f1","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-01T17:54:14Z","title_canon_sha256":"b458ce93424e334c7759bf805361f0797a994f2f40cecdbb6d9962a2be6f795c"},"schema_version":"1.0","source":{"id":"2309.00608","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.00608","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"arxiv_version","alias_value":"2309.00608v3","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.00608","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"pith_short_12","alias_value":"6ELT63NSTJUV","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"pith_short_16","alias_value":"6ELT63NSTJUV2K33","created_at":"2026-07-05T07:10:49Z"},{"alias_kind":"pith_short_8","alias_value":"6ELT63NS","created_at":"2026-07-05T07:10:49Z"}],"graph_snapshots":[{"event_id":"sha256:b99b2a2ee8dd913fd2e2a25ac4fa611bcc936e6f34461aeeb1a19acee316f0ad","target":"graph","created_at":"2026-07-05T07:10:49Z","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/2309.00608/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"During Automated Program Repair (APR), it can be challenging to synthesize correct patches for real-world systems in general-purpose programming languages. Recent Large Language Models (LLMs) have been shown to be helpful \"copilots\" in assisting developers with various coding tasks, and have also been directly applied for patch synthesis. However, most LLMs treat programs as sequences of tokens, meaning that they are ignorant of the underlying semantics constraints of the target programming language. This results in plenty of statically invalid generated patches, impeding the practicality of t","authors_text":"Chunqiu Steven Xia, Lingming Zhang, Yuxiang Wei","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-01T17:54:14Z","title":"Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.00608","kind":"arxiv","version":3},"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:5662f5a2794a4d7af3dfab1d9f8cb67cbd59f792d165597a21594f6c87b4808c","target":"record","created_at":"2026-07-05T07:10:49Z","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":"f2a8217f9774e3bb911b001e17d21a7d7f2abcf1eb0285fa92e4ab61c92119f1","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-01T17:54:14Z","title_canon_sha256":"b458ce93424e334c7759bf805361f0797a994f2f40cecdbb6d9962a2be6f795c"},"schema_version":"1.0","source":{"id":"2309.00608","kind":"arxiv","version":3}},"canonical_sha256":"f1173f6db29a695d2b7b7eb87fcff9b74684ff805b5c050c06e3e74b60c24f61","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1173f6db29a695d2b7b7eb87fcff9b74684ff805b5c050c06e3e74b60c24f61","first_computed_at":"2026-07-05T07:10:49.646038Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:10:49.646038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b4Kwp+IruI3eKXOcgBMW0TsOx6hiZxnIp25UPjBRwvuYj1lm1qVckqgRN4U/Qgsx7pddNZvyZgA+D/G6UnDaCg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:10:49.646518Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.00608","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5662f5a2794a4d7af3dfab1d9f8cb67cbd59f792d165597a21594f6c87b4808c","sha256:b99b2a2ee8dd913fd2e2a25ac4fa611bcc936e6f34461aeeb1a19acee316f0ad"],"state_sha256":"5cb408d945c7e5b865dc564d801ec810da3baeea6821455d19631e0b4315f21e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yLv7TLnWQC78k1sFhgY5abDoZTj2cwM+DEJ4BJW//4lmxRqPutxwpuVJ55uy82n0om/TisYmvBqQ3QNh7J4FAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T11:50:37.104487Z","bundle_sha256":"500b7cb13e108bd2068b9550179fec6b6b514853ef42eab1f28329052d9e5ad2"}}