{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:HA7RGN4QQJ2IX4R2UXLBHDKMOX","short_pith_number":"pith:HA7RGN4Q","canonical_record":{"source":{"id":"2112.02969","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-12-06T12:30:22Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"a5ecdccb7edace7ae94f0fcf06d5b8140be58c2a0aa011086c90e97364906668","abstract_canon_sha256":"445a686fc6ca411a483493561ddbe92aa77489eaf4f829080dd43c22b40c7da6"},"schema_version":"1.0"},"canonical_sha256":"383f13379082748bf23aa5d6138d4c75f847dfcad54ecc66db5f1a2f928314d6","source":{"kind":"arxiv","id":"2112.02969","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.02969","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"arxiv_version","alias_value":"2112.02969v1","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.02969","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"pith_short_12","alias_value":"HA7RGN4QQJ2I","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"pith_short_16","alias_value":"HA7RGN4QQJ2IX4R2","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"pith_short_8","alias_value":"HA7RGN4Q","created_at":"2026-07-05T03:38:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:HA7RGN4QQJ2IX4R2UXLBHDKMOX","target":"record","payload":{"canonical_record":{"source":{"id":"2112.02969","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-12-06T12:30:22Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"a5ecdccb7edace7ae94f0fcf06d5b8140be58c2a0aa011086c90e97364906668","abstract_canon_sha256":"445a686fc6ca411a483493561ddbe92aa77489eaf4f829080dd43c22b40c7da6"},"schema_version":"1.0"},"canonical_sha256":"383f13379082748bf23aa5d6138d4c75f847dfcad54ecc66db5f1a2f928314d6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:38:00.016959Z","signature_b64":"7oH6a2E+pSqzY14FYh3qAncA+nBhRyIVpBJN9UYGbvQ9NiROWXhjqtFhgbn0OiktHYpaEoDKTNEdLc9iH669Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"383f13379082748bf23aa5d6138d4c75f847dfcad54ecc66db5f1a2f928314d6","last_reissued_at":"2026-07-05T03:38:00.016473Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:38:00.016473Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2112.02969","source_version":1,"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-05T03:38:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dM5fpNm6HVIVvJeh4Z8EL1ENHL867W8HBWfwFdukC//ZthPtdneoyr4V6Jfb1m/+s3j55sA0R7+VhhFfaZ5zAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:40:51.596046Z"},"content_sha256":"9545a07b5ae8105aa848bb70588c61ed20332d8ef5e603b701b52d0d659be1ec","schema_version":"1.0","event_id":"sha256:9545a07b5ae8105aa848bb70588c61ed20332d8ef5e603b701b52d0d659be1ec"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:HA7RGN4QQJ2IX4R2UXLBHDKMOX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Jigsaw: Large Language Models meet Program Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Arun Iyer, Nagarajan Natarajan, Naman Jain, Rahul Sharma, Skanda Vaidyanath, Sriram Rajamani, Suresh Parthasarathy","submitted_at":"2021-12-06T12:30:22Z","abstract_excerpt":"Large pre-trained language models such as GPT-3, Codex, and Google's language model are now capable of generating code from natural language specifications of programmer intent. We view these developments with a mixture of optimism and caution. On the optimistic side, such large language models have the potential to improve productivity by providing an automated AI pair programmer for every programmer in the world. On the cautionary side, since these large language models do not understand program semantics, they offer no guarantees about quality of the suggested code. In this paper, we presen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.02969","kind":"arxiv","version":1},"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/2112.02969/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-05T03:38:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6lMekiF7jpDn7Vgz7lLMvkz9fqTnmGv3K6BXuEf/CgoJO27DQWC6gcPYgKXH0AY+wmKL2yIHXNtY0BUQ7zFUAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T05:40:51.596717Z"},"content_sha256":"13f3f0c1fb38eda46355c4f979b1f2bc59dbe6038563b44db730f64439cb3d1a","schema_version":"1.0","event_id":"sha256:13f3f0c1fb38eda46355c4f979b1f2bc59dbe6038563b44db730f64439cb3d1a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HA7RGN4QQJ2IX4R2UXLBHDKMOX/bundle.json","state_url":"https://pith.science/pith/HA7RGN4QQJ2IX4R2UXLBHDKMOX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HA7RGN4QQJ2IX4R2UXLBHDKMOX/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-09T05:40:51Z","links":{"resolver":"https://pith.science/pith/HA7RGN4QQJ2IX4R2UXLBHDKMOX","bundle":"https://pith.science/pith/HA7RGN4QQJ2IX4R2UXLBHDKMOX/bundle.json","state":"https://pith.science/pith/HA7RGN4QQJ2IX4R2UXLBHDKMOX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HA7RGN4QQJ2IX4R2UXLBHDKMOX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:HA7RGN4QQJ2IX4R2UXLBHDKMOX","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":"445a686fc6ca411a483493561ddbe92aa77489eaf4f829080dd43c22b40c7da6","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-12-06T12:30:22Z","title_canon_sha256":"a5ecdccb7edace7ae94f0fcf06d5b8140be58c2a0aa011086c90e97364906668"},"schema_version":"1.0","source":{"id":"2112.02969","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.02969","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"arxiv_version","alias_value":"2112.02969v1","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.02969","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"pith_short_12","alias_value":"HA7RGN4QQJ2I","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"pith_short_16","alias_value":"HA7RGN4QQJ2IX4R2","created_at":"2026-07-05T03:38:00Z"},{"alias_kind":"pith_short_8","alias_value":"HA7RGN4Q","created_at":"2026-07-05T03:38:00Z"}],"graph_snapshots":[{"event_id":"sha256:13f3f0c1fb38eda46355c4f979b1f2bc59dbe6038563b44db730f64439cb3d1a","target":"graph","created_at":"2026-07-05T03:38:00Z","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/2112.02969/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large pre-trained language models such as GPT-3, Codex, and Google's language model are now capable of generating code from natural language specifications of programmer intent. We view these developments with a mixture of optimism and caution. On the optimistic side, such large language models have the potential to improve productivity by providing an automated AI pair programmer for every programmer in the world. On the cautionary side, since these large language models do not understand program semantics, they offer no guarantees about quality of the suggested code. In this paper, we presen","authors_text":"Arun Iyer, Nagarajan Natarajan, Naman Jain, Rahul Sharma, Skanda Vaidyanath, Sriram Rajamani, Suresh Parthasarathy","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-12-06T12:30:22Z","title":"Jigsaw: Large Language Models meet Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.02969","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:9545a07b5ae8105aa848bb70588c61ed20332d8ef5e603b701b52d0d659be1ec","target":"record","created_at":"2026-07-05T03:38:00Z","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":"445a686fc6ca411a483493561ddbe92aa77489eaf4f829080dd43c22b40c7da6","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-12-06T12:30:22Z","title_canon_sha256":"a5ecdccb7edace7ae94f0fcf06d5b8140be58c2a0aa011086c90e97364906668"},"schema_version":"1.0","source":{"id":"2112.02969","kind":"arxiv","version":1}},"canonical_sha256":"383f13379082748bf23aa5d6138d4c75f847dfcad54ecc66db5f1a2f928314d6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"383f13379082748bf23aa5d6138d4c75f847dfcad54ecc66db5f1a2f928314d6","first_computed_at":"2026-07-05T03:38:00.016473Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:38:00.016473Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7oH6a2E+pSqzY14FYh3qAncA+nBhRyIVpBJN9UYGbvQ9NiROWXhjqtFhgbn0OiktHYpaEoDKTNEdLc9iH669Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:38:00.016959Z","signed_message":"canonical_sha256_bytes"},"source_id":"2112.02969","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9545a07b5ae8105aa848bb70588c61ed20332d8ef5e603b701b52d0d659be1ec","sha256:13f3f0c1fb38eda46355c4f979b1f2bc59dbe6038563b44db730f64439cb3d1a"],"state_sha256":"504541e319a1609854269123467b680577425008766f09a6629d3c6363f764a1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zQud6UWRIsZ4mG4JjBBszU7vMphUece8+X/8rDY5kP73L6jS9JfrPb2EWmETsP0J+mcMXT67lmomaQrySP7xAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T05:40:51.600074Z","bundle_sha256":"601aaf11063141762e41ea2ba8736d9fddb024fc75313d5d568aacf9db249d80"}}