{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:KYVQLUQOKCIO2LGRTHBHGYMWQX","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":"238f38e48c0d4abbb6ec0d1878082da31938298695c9a5c1a9afbf434dcd37a0","cross_cats_sorted":["cs.AI","cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-01-31T18:02:26Z","title_canon_sha256":"8f0f53d33017c1f472781591f603d1e002c0e4216d23d867cf596d1dd6847b86"},"schema_version":"1.0","source":{"id":"2301.13816","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.13816","created_at":"2026-07-05T06:32:53Z"},{"alias_kind":"arxiv_version","alias_value":"2301.13816v4","created_at":"2026-07-05T06:32:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.13816","created_at":"2026-07-05T06:32:53Z"},{"alias_kind":"pith_short_12","alias_value":"KYVQLUQOKCIO","created_at":"2026-07-05T06:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"KYVQLUQOKCIO2LGR","created_at":"2026-07-05T06:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"KYVQLUQO","created_at":"2026-07-05T06:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:303d019fa0b2a6b7c8cd6d383fc7880074822976e18e88af21ec70d2b07fbbac","target":"graph","created_at":"2026-07-05T06:32:53Z","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/2301.13816/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The utilization of programming language (PL) models, pre-trained on large-scale code corpora, as a means of automating software engineering processes has demonstrated considerable potential in streamlining various code generation tasks such as code completion, code translation, and program synthesis. However, current approaches mainly rely on supervised fine-tuning objectives borrowed from text generation, neglecting unique sequence-level characteristics of code, including but not limited to compilability as well as syntactic and functional correctness. To address this limitation, we propose P","authors_text":"Aneesh Jain, Chandan K. Reddy, Parshin Shojaee, Sindhu Tipirneni","cross_cats":["cs.AI","cs.CL","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-01-31T18:02:26Z","title":"Execution-based Code Generation using Deep Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.13816","kind":"arxiv","version":4},"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:e497ca51f36d9353e800c579978451bd932fe095916a0aa94358c1cffa8bd88b","target":"record","created_at":"2026-07-05T06:32:53Z","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":"238f38e48c0d4abbb6ec0d1878082da31938298695c9a5c1a9afbf434dcd37a0","cross_cats_sorted":["cs.AI","cs.CL","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-01-31T18:02:26Z","title_canon_sha256":"8f0f53d33017c1f472781591f603d1e002c0e4216d23d867cf596d1dd6847b86"},"schema_version":"1.0","source":{"id":"2301.13816","kind":"arxiv","version":4}},"canonical_sha256":"562b05d20e5090ed2cd199c273619685e4c9fac89fa07b911da4df8c6a1482ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"562b05d20e5090ed2cd199c273619685e4c9fac89fa07b911da4df8c6a1482ef","first_computed_at":"2026-07-05T06:32:53.076501Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:32:53.076501Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Di8nKY6uWFi55DEt2kVFZu2c62g1pKAv1rUP05tJ9vsdm4oLhCsjvyA55CRX8Kn0LxTuVb6ks+yD26Db7EbgAw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:32:53.077061Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.13816","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e497ca51f36d9353e800c579978451bd932fe095916a0aa94358c1cffa8bd88b","sha256:303d019fa0b2a6b7c8cd6d383fc7880074822976e18e88af21ec70d2b07fbbac"],"state_sha256":"c2de2301e75ce1694338b649f1888fe503604db9b48cfe3d16be38d7a429e1eb"}