{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:ZECONFKJY4B5RWFJ4ONCJ266YW","short_pith_number":"pith:ZECONFKJ","canonical_record":{"source":{"id":"2307.13883","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-07-26T01:07:52Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"cb6decd91bfad91238fdc462a79e94fcd84c5f8272f9557fd16ea22acdcbc215","abstract_canon_sha256":"21f29d3618064b6859415cc836f98e68e3cf7b7d8af60f84b6e21768f925e471"},"schema_version":"1.0"},"canonical_sha256":"c904e69549c703d8d8a9e39a24ebdec5963c436bc4610c6c3112c68f95c4086d","source":{"kind":"arxiv","id":"2307.13883","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.13883","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"2307.13883v2","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.13883","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"ZECONFKJY4B5","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"pith_short_16","alias_value":"ZECONFKJY4B5RWFJ","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"pith_short_8","alias_value":"ZECONFKJ","created_at":"2026-07-05T08:15:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:ZECONFKJY4B5RWFJ4ONCJ266YW","target":"record","payload":{"canonical_record":{"source":{"id":"2307.13883","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-07-26T01:07:52Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"cb6decd91bfad91238fdc462a79e94fcd84c5f8272f9557fd16ea22acdcbc215","abstract_canon_sha256":"21f29d3618064b6859415cc836f98e68e3cf7b7d8af60f84b6e21768f925e471"},"schema_version":"1.0"},"canonical_sha256":"c904e69549c703d8d8a9e39a24ebdec5963c436bc4610c6c3112c68f95c4086d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:15:38.404254Z","signature_b64":"eWUA08nGs1z0gJT5sJDTvF2SVV9q503oB+Pt+YbYZJ4tw6kN4sgJ09e92JxLhhRC3iM+0lJn9NSJY70GudE3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c904e69549c703d8d8a9e39a24ebdec5963c436bc4610c6c3112c68f95c4086d","last_reissued_at":"2026-07-05T08:15:38.403775Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:15:38.403775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.13883","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-05T08:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yqBn26nxVhzmvDPxUiEOB0ihtCgVFPJwicNacLBDSs0GfOGJ8HsfU/pV7bLyww80lf/vYwCEodsqIYcvW09QBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:25:56.791119Z"},"content_sha256":"340a7de307562fbccbdb31c5337c20fc4e8bdc1c0907b5c48d66fb55a513db78","schema_version":"1.0","event_id":"sha256:340a7de307562fbccbdb31c5337c20fc4e8bdc1c0907b5c48d66fb55a513db78"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:ZECONFKJY4B5RWFJ4ONCJ266YW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LG","authors_text":"Charles Sutton, Joey Hong, Kensen Shi, Manzil Zaheer, Pengcheng Yin, Yinlin Deng","submitted_at":"2023-07-26T01:07:52Z","abstract_excerpt":"When writing programs, people have the ability to tackle a new complex task by decomposing it into smaller and more familiar subtasks. While it is difficult to measure whether neural program synthesis methods have similar capabilities, we can measure whether they compositionally generalize, that is, whether a model that has been trained on the simpler subtasks is subsequently able to solve more complex tasks. In this paper, we characterize several different forms of compositional generalization that are desirable in program synthesis, forming a meta-benchmark which we use to create generalizat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.13883","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/2307.13883/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-05T08:15:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V4ne9caKzkQP7jW7bpc/UlEUcRe5xk4UIO8RtxyLOKjW42tANE2rfLvrH6VKj9aiDCmvWh4Art+6ElhkyJ81Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:25:56.792568Z"},"content_sha256":"7956f97dcaf14aac586858135d917d63c3e4736f7e124fc9784d196d2acb0d63","schema_version":"1.0","event_id":"sha256:7956f97dcaf14aac586858135d917d63c3e4736f7e124fc9784d196d2acb0d63"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZECONFKJY4B5RWFJ4ONCJ266YW/bundle.json","state_url":"https://pith.science/pith/ZECONFKJY4B5RWFJ4ONCJ266YW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZECONFKJY4B5RWFJ4ONCJ266YW/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-04T19:25:56Z","links":{"resolver":"https://pith.science/pith/ZECONFKJY4B5RWFJ4ONCJ266YW","bundle":"https://pith.science/pith/ZECONFKJY4B5RWFJ4ONCJ266YW/bundle.json","state":"https://pith.science/pith/ZECONFKJY4B5RWFJ4ONCJ266YW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZECONFKJY4B5RWFJ4ONCJ266YW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ZECONFKJY4B5RWFJ4ONCJ266YW","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":"21f29d3618064b6859415cc836f98e68e3cf7b7d8af60f84b6e21768f925e471","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-07-26T01:07:52Z","title_canon_sha256":"cb6decd91bfad91238fdc462a79e94fcd84c5f8272f9557fd16ea22acdcbc215"},"schema_version":"1.0","source":{"id":"2307.13883","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.13883","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"arxiv_version","alias_value":"2307.13883v2","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.13883","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"pith_short_12","alias_value":"ZECONFKJY4B5","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"pith_short_16","alias_value":"ZECONFKJY4B5RWFJ","created_at":"2026-07-05T08:15:38Z"},{"alias_kind":"pith_short_8","alias_value":"ZECONFKJ","created_at":"2026-07-05T08:15:38Z"}],"graph_snapshots":[{"event_id":"sha256:7956f97dcaf14aac586858135d917d63c3e4736f7e124fc9784d196d2acb0d63","target":"graph","created_at":"2026-07-05T08:15:38Z","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/2307.13883/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"When writing programs, people have the ability to tackle a new complex task by decomposing it into smaller and more familiar subtasks. While it is difficult to measure whether neural program synthesis methods have similar capabilities, we can measure whether they compositionally generalize, that is, whether a model that has been trained on the simpler subtasks is subsequently able to solve more complex tasks. In this paper, we characterize several different forms of compositional generalization that are desirable in program synthesis, forming a meta-benchmark which we use to create generalizat","authors_text":"Charles Sutton, Joey Hong, Kensen Shi, Manzil Zaheer, Pengcheng Yin, Yinlin Deng","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-07-26T01:07:52Z","title":"ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.13883","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:340a7de307562fbccbdb31c5337c20fc4e8bdc1c0907b5c48d66fb55a513db78","target":"record","created_at":"2026-07-05T08:15:38Z","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":"21f29d3618064b6859415cc836f98e68e3cf7b7d8af60f84b6e21768f925e471","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-07-26T01:07:52Z","title_canon_sha256":"cb6decd91bfad91238fdc462a79e94fcd84c5f8272f9557fd16ea22acdcbc215"},"schema_version":"1.0","source":{"id":"2307.13883","kind":"arxiv","version":2}},"canonical_sha256":"c904e69549c703d8d8a9e39a24ebdec5963c436bc4610c6c3112c68f95c4086d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c904e69549c703d8d8a9e39a24ebdec5963c436bc4610c6c3112c68f95c4086d","first_computed_at":"2026-07-05T08:15:38.403775Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:15:38.403775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eWUA08nGs1z0gJT5sJDTvF2SVV9q503oB+Pt+YbYZJ4tw6kN4sgJ09e92JxLhhRC3iM+0lJn9NSJY70GudE3AA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:15:38.404254Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.13883","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:340a7de307562fbccbdb31c5337c20fc4e8bdc1c0907b5c48d66fb55a513db78","sha256:7956f97dcaf14aac586858135d917d63c3e4736f7e124fc9784d196d2acb0d63"],"state_sha256":"d97c11a7cbea35ff70b5eba844b0754cc9727d125380f8dff405ad1e021bf948"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8xQXTKvjFgMwXCawHXKeUMuZFX2C+rmh1btFKvkmU4XEOnSRw3r7USbcjAkDathup6Wz8hwZxWIYkpjAoA2XBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T19:25:56.798441Z","bundle_sha256":"f9a921136142b491b3ddbe076a70950f705b010f7d2aefe6df854233530d549c"}}