{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:E34HMJO7WEEVKMYSZIFS3E2FHJ","short_pith_number":"pith:E34HMJO7","canonical_record":{"source":{"id":"2204.03758","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-04-07T22:16:05Z","cross_cats_sorted":["cs.PL","stat.ML"],"title_canon_sha256":"415620694776799a025d41531a4836187caf2ff414fee81b55757376dd011888","abstract_canon_sha256":"0c2e983c57e04ca5b5de7cdbd1493f45650eac737fb7c6797a3256ee53adc10b"},"schema_version":"1.0"},"canonical_sha256":"26f87625dfb109553312ca0b2d93453a6da0352a41a3d15a98bbf0e6b229cbe8","source":{"kind":"arxiv","id":"2204.03758","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.03758","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"arxiv_version","alias_value":"2204.03758v1","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.03758","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"pith_short_12","alias_value":"E34HMJO7WEEV","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"pith_short_16","alias_value":"E34HMJO7WEEVKMYS","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"pith_short_8","alias_value":"E34HMJO7","created_at":"2026-07-05T07:06:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:E34HMJO7WEEVKMYSZIFS3E2FHJ","target":"record","payload":{"canonical_record":{"source":{"id":"2204.03758","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-04-07T22:16:05Z","cross_cats_sorted":["cs.PL","stat.ML"],"title_canon_sha256":"415620694776799a025d41531a4836187caf2ff414fee81b55757376dd011888","abstract_canon_sha256":"0c2e983c57e04ca5b5de7cdbd1493f45650eac737fb7c6797a3256ee53adc10b"},"schema_version":"1.0"},"canonical_sha256":"26f87625dfb109553312ca0b2d93453a6da0352a41a3d15a98bbf0e6b229cbe8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:06:18.519919Z","signature_b64":"8oORoTMM/YYvESf/el0ppNnqP5hqcZujfIrVsJsy1Z5nObJGtWXFtJL0YpUoD+wl51AzEgqF4ZJjFRkZU/Z9Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26f87625dfb109553312ca0b2d93453a6da0352a41a3d15a98bbf0e6b229cbe8","last_reissued_at":"2026-07-05T07:06:18.519413Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:06:18.519413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2204.03758","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-05T07:06:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qqW91FIHdbbHglUlD3uSP4e8Tfs7y6mPmti5OrUWFR+lMUFOfQgMGJ/aOvrj7lc9N58FHV9FTRVc3iKgHaPDDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:05:17.181211Z"},"content_sha256":"9ebf4e25a8bfff5a012006f455e2f984930cd517abd18bab7870e71edd51682c","schema_version":"1.0","event_id":"sha256:9ebf4e25a8bfff5a012006f455e2f984930cd517abd18bab7870e71edd51682c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:E34HMJO7WEEVKMYSZIFS3E2FHJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compositional Generalization and Decomposition in Neural Program Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","stat.ML"],"primary_cat":"cs.LG","authors_text":"Charles Sutton, Joey Hong, Kensen Shi, Manzil Zaheer, Pengcheng Yin","submitted_at":"2022-04-07T22:16:05Z","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, what we can measure is 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 focus on measuring the ability of learned program synthesizers to compositionally generalize. We first characterize several different axes along which program sy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.03758","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/2204.03758/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-05T07:06:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PdyWiEl4UY2JaXarFoefp1LfWJX8OxrdiCoTs+l68DmvMn9RXZ53JlhpQA/zQ/jmi5wrQNbaVD7zcA75dCYmBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:05:17.181530Z"},"content_sha256":"88c1a558b631d841b8cc3fa2c69625e47880cd1b8331d5d01d0434d6addb7c0e","schema_version":"1.0","event_id":"sha256:88c1a558b631d841b8cc3fa2c69625e47880cd1b8331d5d01d0434d6addb7c0e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E34HMJO7WEEVKMYSZIFS3E2FHJ/bundle.json","state_url":"https://pith.science/pith/E34HMJO7WEEVKMYSZIFS3E2FHJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E34HMJO7WEEVKMYSZIFS3E2FHJ/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-04T23:05:17Z","links":{"resolver":"https://pith.science/pith/E34HMJO7WEEVKMYSZIFS3E2FHJ","bundle":"https://pith.science/pith/E34HMJO7WEEVKMYSZIFS3E2FHJ/bundle.json","state":"https://pith.science/pith/E34HMJO7WEEVKMYSZIFS3E2FHJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E34HMJO7WEEVKMYSZIFS3E2FHJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:E34HMJO7WEEVKMYSZIFS3E2FHJ","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":"0c2e983c57e04ca5b5de7cdbd1493f45650eac737fb7c6797a3256ee53adc10b","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-04-07T22:16:05Z","title_canon_sha256":"415620694776799a025d41531a4836187caf2ff414fee81b55757376dd011888"},"schema_version":"1.0","source":{"id":"2204.03758","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.03758","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"arxiv_version","alias_value":"2204.03758v1","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.03758","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"pith_short_12","alias_value":"E34HMJO7WEEV","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"pith_short_16","alias_value":"E34HMJO7WEEVKMYS","created_at":"2026-07-05T07:06:18Z"},{"alias_kind":"pith_short_8","alias_value":"E34HMJO7","created_at":"2026-07-05T07:06:18Z"}],"graph_snapshots":[{"event_id":"sha256:88c1a558b631d841b8cc3fa2c69625e47880cd1b8331d5d01d0434d6addb7c0e","target":"graph","created_at":"2026-07-05T07:06:18Z","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/2204.03758/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, what we can measure is 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 focus on measuring the ability of learned program synthesizers to compositionally generalize. We first characterize several different axes along which program sy","authors_text":"Charles Sutton, Joey Hong, Kensen Shi, Manzil Zaheer, Pengcheng Yin","cross_cats":["cs.PL","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-04-07T22:16:05Z","title":"Compositional Generalization and Decomposition in Neural Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.03758","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:9ebf4e25a8bfff5a012006f455e2f984930cd517abd18bab7870e71edd51682c","target":"record","created_at":"2026-07-05T07:06:18Z","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":"0c2e983c57e04ca5b5de7cdbd1493f45650eac737fb7c6797a3256ee53adc10b","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-04-07T22:16:05Z","title_canon_sha256":"415620694776799a025d41531a4836187caf2ff414fee81b55757376dd011888"},"schema_version":"1.0","source":{"id":"2204.03758","kind":"arxiv","version":1}},"canonical_sha256":"26f87625dfb109553312ca0b2d93453a6da0352a41a3d15a98bbf0e6b229cbe8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26f87625dfb109553312ca0b2d93453a6da0352a41a3d15a98bbf0e6b229cbe8","first_computed_at":"2026-07-05T07:06:18.519413Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:06:18.519413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8oORoTMM/YYvESf/el0ppNnqP5hqcZujfIrVsJsy1Z5nObJGtWXFtJL0YpUoD+wl51AzEgqF4ZJjFRkZU/Z9Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:06:18.519919Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.03758","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ebf4e25a8bfff5a012006f455e2f984930cd517abd18bab7870e71edd51682c","sha256:88c1a558b631d841b8cc3fa2c69625e47880cd1b8331d5d01d0434d6addb7c0e"],"state_sha256":"7a70110bdf1c1c5da151f7361239a0e9c545042e1f42ce77e5978ebf7e6a174e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v6U97nH4NtU8Aw5sRWzsPJJkpZ3Lpcc6Jtcu875Qn7FHxVOpUhS4Udawqqh4qiA1uI3zvu2/4izN5i1trlbCCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T23:05:17.185608Z","bundle_sha256":"ffb7b9b44ec6e8647d5511bd85c9d2ef780d4c763715d9159858c3cdad31c40a"}}