{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:6ELT63NSTJUV2K33P24H7T7ZW5","short_pith_number":"pith:6ELT63NS","schema_version":"1.0","canonical_sha256":"f1173f6db29a695d2b7b7eb87fcff9b74684ff805b5c050c06e3e74b60c24f61","source":{"kind":"arxiv","id":"2309.00608","version":3},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2309.00608","created_at":"2026-07-05T07:10:49.646094+00:00"},{"alias_kind":"arxiv_version","alias_value":"2309.00608v3","created_at":"2026-07-05T07:10:49.646094+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.00608","created_at":"2026-07-05T07:10:49.646094+00:00"},{"alias_kind":"pith_short_12","alias_value":"6ELT63NSTJUV","created_at":"2026-07-05T07:10:49.646094+00:00"},{"alias_kind":"pith_short_16","alias_value":"6ELT63NSTJUV2K33","created_at":"2026-07-05T07:10:49.646094+00:00"},{"alias_kind":"pith_short_8","alias_value":"6ELT63NS","created_at":"2026-07-05T07:10:49.646094+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2305.01210","citing_title":"Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation","ref_index":65,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5","json":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5.json","graph_json":"https://pith.science/api/pith-number/6ELT63NSTJUV2K33P24H7T7ZW5/graph.json","events_json":"https://pith.science/api/pith-number/6ELT63NSTJUV2K33P24H7T7ZW5/events.json","paper":"https://pith.science/paper/6ELT63NS"},"agent_actions":{"view_html":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5","download_json":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5.json","view_paper":"https://pith.science/paper/6ELT63NS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2309.00608&json=true","fetch_graph":"https://pith.science/api/pith-number/6ELT63NSTJUV2K33P24H7T7ZW5/graph.json","fetch_events":"https://pith.science/api/pith-number/6ELT63NSTJUV2K33P24H7T7ZW5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/action/storage_attestation","attest_author":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/action/author_attestation","sign_citation":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/action/citation_signature","submit_replication":"https://pith.science/pith/6ELT63NSTJUV2K33P24H7T7ZW5/action/replication_record"}},"created_at":"2026-07-05T07:10:49.646094+00:00","updated_at":"2026-07-05T07:10:49.646094+00:00"}