{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:AFGIUVM6SYTRZKMGFSAEKWLVAT","short_pith_number":"pith:AFGIUVM6","canonical_record":{"source":{"id":"2301.03094","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-01-08T19:10:55Z","cross_cats_sorted":[],"title_canon_sha256":"20478a51f0c396459b4d61f13f7bfbc37b27e647155f412cb9850ea2a5033262","abstract_canon_sha256":"9b0fa8f1d1c48b27bf901c4f4e7dc6a639d29a81ba1ac2d98aa880f352162478"},"schema_version":"1.0"},"canonical_sha256":"014c8a559e96271ca9862c8045597504f8d37c0d1626a6f3c8185c7d45616a8c","source":{"kind":"arxiv","id":"2301.03094","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.03094","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"arxiv_version","alias_value":"2301.03094v2","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.03094","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"pith_short_12","alias_value":"AFGIUVM6SYTR","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"pith_short_16","alias_value":"AFGIUVM6SYTRZKMG","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"pith_short_8","alias_value":"AFGIUVM6","created_at":"2026-07-05T09:53:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:AFGIUVM6SYTRZKMGFSAEKWLVAT","target":"record","payload":{"canonical_record":{"source":{"id":"2301.03094","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-01-08T19:10:55Z","cross_cats_sorted":[],"title_canon_sha256":"20478a51f0c396459b4d61f13f7bfbc37b27e647155f412cb9850ea2a5033262","abstract_canon_sha256":"9b0fa8f1d1c48b27bf901c4f4e7dc6a639d29a81ba1ac2d98aa880f352162478"},"schema_version":"1.0"},"canonical_sha256":"014c8a559e96271ca9862c8045597504f8d37c0d1626a6f3c8185c7d45616a8c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:53:37.970021Z","signature_b64":"Zb/HzkwGvwtC+Hd9mF3s0nysG+MNbL8h/anoUt9MyyimvC2VRzygUdOht7/glv/iORi2y94Op+12+N1iulC3Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"014c8a559e96271ca9862c8045597504f8d37c0d1626a6f3c8185c7d45616a8c","last_reissued_at":"2026-07-05T09:53:37.969438Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:53:37.969438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2301.03094","source_version":2,"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-05T09:53:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/qzbjhBTuINDpnmzYsBoolYlirSen3cARQo4q++jr+hNCk6ci96dqnDTIW+4W4bYZP9De6LQXWzg5Pw6rrcxDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:43:24.706611Z"},"content_sha256":"074abdf15a9c8415156bdde99e2c8cbc68c7ee0f8ab66509e1a2ecddca41a7ea","schema_version":"1.0","event_id":"sha256:074abdf15a9c8415156bdde99e2c8cbc68c7ee0f8ab66509e1a2ecddca41a7ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:AFGIUVM6SYTRZKMGFSAEKWLVAT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Divide-Align-Conquer Strategy for Program Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Claus-Christian Carbon, Jonas Witt, Sebastijan Duman\\v{c}i\\'c, Tias Guns","submitted_at":"2023-01-08T19:10:55Z","abstract_excerpt":"A major bottleneck in search-based program synthesis is the exponentially growing search space which makes learning large programs intractable. Humans mitigate this problem by leveraging the compositional nature of the real world: In structured domains, a logical specification can often be decomposed into smaller, complementary solution programs. We show that compositional segmentation can be applied in the programming by examples setting to divide the search for large programs across multiple smaller program synthesis problems. For each example, we search for a decomposition into smaller unit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.03094","kind":"arxiv","version":2},"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/2301.03094/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-05T09:53:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rfPYCot6INVReDLb36LX2EvNN07BPd3b4PwQ9Vde1VeY8oMudXgWeuX47D9tUCdQ7y0MLafhiVFHV8K7tQ+HCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:43:24.707088Z"},"content_sha256":"7dc5949449e726be862ebc02582960446515f1a377c031603939bc0ae9d22401","schema_version":"1.0","event_id":"sha256:7dc5949449e726be862ebc02582960446515f1a377c031603939bc0ae9d22401"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AFGIUVM6SYTRZKMGFSAEKWLVAT/bundle.json","state_url":"https://pith.science/pith/AFGIUVM6SYTRZKMGFSAEKWLVAT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AFGIUVM6SYTRZKMGFSAEKWLVAT/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-08-06T04:43:24Z","links":{"resolver":"https://pith.science/pith/AFGIUVM6SYTRZKMGFSAEKWLVAT","bundle":"https://pith.science/pith/AFGIUVM6SYTRZKMGFSAEKWLVAT/bundle.json","state":"https://pith.science/pith/AFGIUVM6SYTRZKMGFSAEKWLVAT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AFGIUVM6SYTRZKMGFSAEKWLVAT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:AFGIUVM6SYTRZKMGFSAEKWLVAT","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":"9b0fa8f1d1c48b27bf901c4f4e7dc6a639d29a81ba1ac2d98aa880f352162478","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-01-08T19:10:55Z","title_canon_sha256":"20478a51f0c396459b4d61f13f7bfbc37b27e647155f412cb9850ea2a5033262"},"schema_version":"1.0","source":{"id":"2301.03094","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.03094","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"arxiv_version","alias_value":"2301.03094v2","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.03094","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"pith_short_12","alias_value":"AFGIUVM6SYTR","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"pith_short_16","alias_value":"AFGIUVM6SYTRZKMG","created_at":"2026-07-05T09:53:37Z"},{"alias_kind":"pith_short_8","alias_value":"AFGIUVM6","created_at":"2026-07-05T09:53:37Z"}],"graph_snapshots":[{"event_id":"sha256:7dc5949449e726be862ebc02582960446515f1a377c031603939bc0ae9d22401","target":"graph","created_at":"2026-07-05T09:53:37Z","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.03094/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A major bottleneck in search-based program synthesis is the exponentially growing search space which makes learning large programs intractable. Humans mitigate this problem by leveraging the compositional nature of the real world: In structured domains, a logical specification can often be decomposed into smaller, complementary solution programs. We show that compositional segmentation can be applied in the programming by examples setting to divide the search for large programs across multiple smaller program synthesis problems. For each example, we search for a decomposition into smaller unit","authors_text":"Claus-Christian Carbon, Jonas Witt, Sebastijan Duman\\v{c}i\\'c, Tias Guns","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-01-08T19:10:55Z","title":"A Divide-Align-Conquer Strategy for Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.03094","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:074abdf15a9c8415156bdde99e2c8cbc68c7ee0f8ab66509e1a2ecddca41a7ea","target":"record","created_at":"2026-07-05T09:53:37Z","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":"9b0fa8f1d1c48b27bf901c4f4e7dc6a639d29a81ba1ac2d98aa880f352162478","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-01-08T19:10:55Z","title_canon_sha256":"20478a51f0c396459b4d61f13f7bfbc37b27e647155f412cb9850ea2a5033262"},"schema_version":"1.0","source":{"id":"2301.03094","kind":"arxiv","version":2}},"canonical_sha256":"014c8a559e96271ca9862c8045597504f8d37c0d1626a6f3c8185c7d45616a8c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"014c8a559e96271ca9862c8045597504f8d37c0d1626a6f3c8185c7d45616a8c","first_computed_at":"2026-07-05T09:53:37.969438Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:53:37.969438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Zb/HzkwGvwtC+Hd9mF3s0nysG+MNbL8h/anoUt9MyyimvC2VRzygUdOht7/glv/iORi2y94Op+12+N1iulC3Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:53:37.970021Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.03094","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:074abdf15a9c8415156bdde99e2c8cbc68c7ee0f8ab66509e1a2ecddca41a7ea","sha256:7dc5949449e726be862ebc02582960446515f1a377c031603939bc0ae9d22401"],"state_sha256":"bdd2ebab720450ef0395d2afab97b503753657a594e3ea616300d2414db12ee2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qbzpgm5U3Qd7M0H+tMkoVAyqbAnTiNOO3M9vXZE3khhbfyM2mvlz8+HdFTDa2APeJ6uH9TSWb7/VlEwLIyleCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T04:43:24.710536Z","bundle_sha256":"bc111b52868c16b43578b79e2f108b1067cc8699e350a447e6c13fd99331579b"}}