{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:66BG2GRBQ3HOPEMGQJFCJHRYPM","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":"1448108da85827774b6dddb78a49c483b1f3a57176f565be89a07ca3cd801b8b","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T08:31:06Z","title_canon_sha256":"b8fc6298ef65f8dab7f743772671ddd9e8cece75b05781ddf66d270b3535d5db"},"schema_version":"1.0","source":{"id":"2411.14503","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14503","created_at":"2026-07-05T11:08:13Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14503v3","created_at":"2026-07-05T11:08:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14503","created_at":"2026-07-05T11:08:13Z"},{"alias_kind":"pith_short_12","alias_value":"66BG2GRBQ3HO","created_at":"2026-07-05T11:08:13Z"},{"alias_kind":"pith_short_16","alias_value":"66BG2GRBQ3HOPEMG","created_at":"2026-07-05T11:08:13Z"},{"alias_kind":"pith_short_8","alias_value":"66BG2GRB","created_at":"2026-07-05T11:08:13Z"}],"graph_snapshots":[{"event_id":"sha256:6c52113ba71fe7f61eac92a4a7ccf6bebab294efbde1627f08541ef4bb51e84a","target":"graph","created_at":"2026-07-05T11:08:13Z","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/2411.14503/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The strong performance of large language models (LLMs) raises extensive discussion on their application to code generation. Recent research suggests continuous program refinements through visible tests to improve code generation accuracy in LLMs. However, these methods suffer from LLMs' inefficiency and limited reasoning capacity. In this work, we propose an LLM programming workflow (LPW) designed to improve both initial code generation and subsequent refinements within a structured two-phase workflow. Specifically, the solution generation phase formulates a solution plan, which is then verifi","authors_text":"Chao Lei, Krista A. Ehinger, Nir Lipovetzky, Yanchuan Chang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T08:31:06Z","title":"Planning-Driven Programming: A Large Language Model Programming Workflow"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14503","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:909d5eaa0daad6f6e97c290d019b4960a73d5a47e586ee8c3e8d501ae6ed7567","target":"record","created_at":"2026-07-05T11:08:13Z","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":"1448108da85827774b6dddb78a49c483b1f3a57176f565be89a07ca3cd801b8b","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T08:31:06Z","title_canon_sha256":"b8fc6298ef65f8dab7f743772671ddd9e8cece75b05781ddf66d270b3535d5db"},"schema_version":"1.0","source":{"id":"2411.14503","kind":"arxiv","version":3}},"canonical_sha256":"f7826d1a2186cee79186824a249e387b1d30405fe8624892eb385b68dcf40a7c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f7826d1a2186cee79186824a249e387b1d30405fe8624892eb385b68dcf40a7c","first_computed_at":"2026-07-05T11:08:13.207534Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:08:13.207534Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A58KeM5TkX6s4eiTwKeXKIF4Ls4F0mzcPHWREZVkS126VryuN94ZQI3NVsM9qby9oNeJkbJ/qF152ULGoDBTBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:08:13.208068Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.14503","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:909d5eaa0daad6f6e97c290d019b4960a73d5a47e586ee8c3e8d501ae6ed7567","sha256:6c52113ba71fe7f61eac92a4a7ccf6bebab294efbde1627f08541ef4bb51e84a"],"state_sha256":"97cda7144096bbff940f85a5461858a4ae221f453e478436344cdd3a0ce45266"}