{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:2LPCD52AZMZQ62GANDTAPLLMAT","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":"e8c8bf6e65f9f107e38eb3af2571fe3f7d2f5c06f220e359b3f6d69eb0381160","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-06-30T15:00:03Z","title_canon_sha256":"b6a394358582cd6407f74cf0992ffb63875058e0acc8f7cb0915b79a195f0b2d"},"schema_version":"1.0","source":{"id":"2206.15331","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.15331","created_at":"2026-07-05T06:01:12Z"},{"alias_kind":"arxiv_version","alias_value":"2206.15331v2","created_at":"2026-07-05T06:01:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.15331","created_at":"2026-07-05T06:01:12Z"},{"alias_kind":"pith_short_12","alias_value":"2LPCD52AZMZQ","created_at":"2026-07-05T06:01:12Z"},{"alias_kind":"pith_short_16","alias_value":"2LPCD52AZMZQ62GA","created_at":"2026-07-05T06:01:12Z"},{"alias_kind":"pith_short_8","alias_value":"2LPCD52A","created_at":"2026-07-05T06:01:12Z"}],"graph_snapshots":[{"event_id":"sha256:0520ebc4d7dcfcbbc9f554af7c264aa1c9361772232d34d0b49cb75b8389c93c","target":"graph","created_at":"2026-07-05T06:01:12Z","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/2206.15331/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automatic program synthesis is a long-lasting dream in software engineering. Recently, a promising Deep Learning (DL) based solution, called Copilot, has been proposed by OpenAI and Microsoft as an industrial product. Although some studies evaluate the correctness of Copilot solutions and report its issues, more empirical evaluations are necessary to understand how developers can benefit from it effectively. In this paper, we study the capabilities of Copilot in two different programming tasks: (i) generating (and reproducing) correct and efficient solutions for fundamental algorithmic problem","authors_text":"Amin Nikanjam, Arghavan Moradi Dakhel, Foutse Khomh, Michel C. Desmarais, Vahid Majdinasab, Zhen Ming (Jack) Jiang","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-06-30T15:00:03Z","title":"GitHub Copilot AI pair programmer: Asset or Liability?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.15331","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:24a0069756076d024a7e7135787db9fe13ec812fc321f9d7473cae59273c984e","target":"record","created_at":"2026-07-05T06:01:12Z","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":"e8c8bf6e65f9f107e38eb3af2571fe3f7d2f5c06f220e359b3f6d69eb0381160","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-06-30T15:00:03Z","title_canon_sha256":"b6a394358582cd6407f74cf0992ffb63875058e0acc8f7cb0915b79a195f0b2d"},"schema_version":"1.0","source":{"id":"2206.15331","kind":"arxiv","version":2}},"canonical_sha256":"d2de21f740cb330f68c068e607ad6c04d0e1886a014d88d9fef9afbe7d9cf17f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d2de21f740cb330f68c068e607ad6c04d0e1886a014d88d9fef9afbe7d9cf17f","first_computed_at":"2026-07-05T06:01:12.040409Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:01:12.040409Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UjmJW47SwwPJdhcTHmLk5c2IcwmNME/5lS3jLg7EJPoHxXumpSuTEOKvVbsazl2O/+N7vwZS2YmUdjexf/0TBA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:01:12.040949Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.15331","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:24a0069756076d024a7e7135787db9fe13ec812fc321f9d7473cae59273c984e","sha256:0520ebc4d7dcfcbbc9f554af7c264aa1c9361772232d34d0b49cb75b8389c93c"],"state_sha256":"4b7ce728fcb90caa0344243168716cdd9a4c590b12635f28bc12bad098224ae1"}