{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:YZQLAI2JXNGJTNNJTP2QYZZV3J","short_pith_number":"pith:YZQLAI2J","canonical_record":{"source":{"id":"2503.15540","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-12T00:36:43Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"537770456997b1d84176a1d71e893cb780a22386a597c60ab4d878ddfc4f3fa5","abstract_canon_sha256":"87e8ff9dbac538b68c55913f1b872a9a0df74da33ba5db56c7b565a66fca22f0"},"schema_version":"1.0"},"canonical_sha256":"c660b02349bb4c99b5a99bf50c6735da52ced5bc68c6678bd42efe6b10dcfc30","source":{"kind":"arxiv","id":"2503.15540","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.15540","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"arxiv_version","alias_value":"2503.15540v1","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.15540","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"pith_short_12","alias_value":"YZQLAI2JXNGJ","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"pith_short_16","alias_value":"YZQLAI2JXNGJTNNJ","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"pith_short_8","alias_value":"YZQLAI2J","created_at":"2026-07-05T10:35:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:YZQLAI2JXNGJTNNJTP2QYZZV3J","target":"record","payload":{"canonical_record":{"source":{"id":"2503.15540","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-12T00:36:43Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"537770456997b1d84176a1d71e893cb780a22386a597c60ab4d878ddfc4f3fa5","abstract_canon_sha256":"87e8ff9dbac538b68c55913f1b872a9a0df74da33ba5db56c7b565a66fca22f0"},"schema_version":"1.0"},"canonical_sha256":"c660b02349bb4c99b5a99bf50c6735da52ced5bc68c6678bd42efe6b10dcfc30","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:35:52.424412Z","signature_b64":"qNvt9st15z46vHd5yJ3V+CJc5m5NMxKlYBYUEdP/nUlkRfLzGiXeRYisBv5AvFZk3mxIC6nqpcBGePMNwNanCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c660b02349bb4c99b5a99bf50c6735da52ced5bc68c6678bd42efe6b10dcfc30","last_reissued_at":"2026-07-05T10:35:52.423921Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:35:52.423921Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.15540","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-05T10:35:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5P7+EoML9KJmSwM3PzFnkQDaQq8IYCtpUxqb3JNMsL+rOifFSkY64bHTcm0jdXOFHhSeRJLn8xCOEWEmYzbcAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T11:09:43.110452Z"},"content_sha256":"5affcb8f9df00ed4a95660207a71d7aef4bfc460b6569c18d4891f8c3d6448b9","schema_version":"1.0","event_id":"sha256:5affcb8f9df00ed4a95660207a71d7aef4bfc460b6569c18d4891f8c3d6448b9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:YZQLAI2JXNGJTNNJTP2QYZZV3J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM-Guided Compositional Program Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Arjun Radhakrishna, Ashish Tiwari, Gust Verbruggen, Ruhma Khan, Sumit Gulwani, Vu Le","submitted_at":"2025-03-12T00:36:43Z","abstract_excerpt":"Program synthesis from input-output examples, also called programming by example (PBE), has had tremendous impact on automating end-user tasks. Large language models (LLMs) have the ability to solve PBE tasks by generating code in different target languages, but they can fail unpredictably. To recover for failure, most approaches, such as self-reflection, use the LLM to solve the same task, but with a richer context. We introduce a novel technique that recovers from failure by constructing simpler subtasks for the LLM to solve. Our approach performs compositional program synthesis using LLMs, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.15540","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/2503.15540/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-05T10:35:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YsUDnxaMvWgMH7uMdHU5sGpISRyH0KrdqvWiUAGSFoCpCc/kqwEgCM48XkRFlU60UrDKyLGLAfyXLpulSBySDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T11:09:43.110832Z"},"content_sha256":"d6d783a59389586d67a0964175e5104fdff59b07b2e57e6c9292017b6265e629","schema_version":"1.0","event_id":"sha256:d6d783a59389586d67a0964175e5104fdff59b07b2e57e6c9292017b6265e629"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YZQLAI2JXNGJTNNJTP2QYZZV3J/bundle.json","state_url":"https://pith.science/pith/YZQLAI2JXNGJTNNJTP2QYZZV3J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YZQLAI2JXNGJTNNJTP2QYZZV3J/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-20T11:09:43Z","links":{"resolver":"https://pith.science/pith/YZQLAI2JXNGJTNNJTP2QYZZV3J","bundle":"https://pith.science/pith/YZQLAI2JXNGJTNNJTP2QYZZV3J/bundle.json","state":"https://pith.science/pith/YZQLAI2JXNGJTNNJTP2QYZZV3J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YZQLAI2JXNGJTNNJTP2QYZZV3J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YZQLAI2JXNGJTNNJTP2QYZZV3J","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":"87e8ff9dbac538b68c55913f1b872a9a0df74da33ba5db56c7b565a66fca22f0","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-12T00:36:43Z","title_canon_sha256":"537770456997b1d84176a1d71e893cb780a22386a597c60ab4d878ddfc4f3fa5"},"schema_version":"1.0","source":{"id":"2503.15540","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.15540","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"arxiv_version","alias_value":"2503.15540v1","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.15540","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"pith_short_12","alias_value":"YZQLAI2JXNGJ","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"pith_short_16","alias_value":"YZQLAI2JXNGJTNNJ","created_at":"2026-07-05T10:35:52Z"},{"alias_kind":"pith_short_8","alias_value":"YZQLAI2J","created_at":"2026-07-05T10:35:52Z"}],"graph_snapshots":[{"event_id":"sha256:d6d783a59389586d67a0964175e5104fdff59b07b2e57e6c9292017b6265e629","target":"graph","created_at":"2026-07-05T10:35:52Z","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/2503.15540/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Program synthesis from input-output examples, also called programming by example (PBE), has had tremendous impact on automating end-user tasks. Large language models (LLMs) have the ability to solve PBE tasks by generating code in different target languages, but they can fail unpredictably. To recover for failure, most approaches, such as self-reflection, use the LLM to solve the same task, but with a richer context. We introduce a novel technique that recovers from failure by constructing simpler subtasks for the LLM to solve. Our approach performs compositional program synthesis using LLMs, ","authors_text":"Arjun Radhakrishna, Ashish Tiwari, Gust Verbruggen, Ruhma Khan, Sumit Gulwani, Vu Le","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-12T00:36:43Z","title":"LLM-Guided Compositional Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.15540","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:5affcb8f9df00ed4a95660207a71d7aef4bfc460b6569c18d4891f8c3d6448b9","target":"record","created_at":"2026-07-05T10:35:52Z","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":"87e8ff9dbac538b68c55913f1b872a9a0df74da33ba5db56c7b565a66fca22f0","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-12T00:36:43Z","title_canon_sha256":"537770456997b1d84176a1d71e893cb780a22386a597c60ab4d878ddfc4f3fa5"},"schema_version":"1.0","source":{"id":"2503.15540","kind":"arxiv","version":1}},"canonical_sha256":"c660b02349bb4c99b5a99bf50c6735da52ced5bc68c6678bd42efe6b10dcfc30","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c660b02349bb4c99b5a99bf50c6735da52ced5bc68c6678bd42efe6b10dcfc30","first_computed_at":"2026-07-05T10:35:52.423921Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:35:52.423921Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qNvt9st15z46vHd5yJ3V+CJc5m5NMxKlYBYUEdP/nUlkRfLzGiXeRYisBv5AvFZk3mxIC6nqpcBGePMNwNanCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:35:52.424412Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.15540","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5affcb8f9df00ed4a95660207a71d7aef4bfc460b6569c18d4891f8c3d6448b9","sha256:d6d783a59389586d67a0964175e5104fdff59b07b2e57e6c9292017b6265e629"],"state_sha256":"0f592d1a5cc1fab1408016808cf5c2ddf7b8b0637b532ff7ee04178cc033a58b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b9d2L6EjQ7IkHlgftEKKCb/J/cd5PEFdZ21T4vRsrrF67YJ+MZaLCgpJIH3YikpNCWARTwDFmJq68oztrIYUBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-20T11:09:43.113348Z","bundle_sha256":"ce734ae92929d75b35ba28bd4cb533cafe69609de92799cae31ceb537028add1"}}